7121 search results - page 367 / 1425 » Functions as Session-Typed Processes |
171
click to vote
TABLETOP
2008
IEEE
16 years 1 months ago
2008
IEEE
To date, digital tabletop research has predominantly focused on resolving fundamental software and hardware challenges introduced by this new interactive platform. Understanding n...
166
click to vote
ICDCSW
2007
IEEE
16 years 1 months ago
2007
IEEE
We have developed a data stream management system that supports declarative stream queries running over high data volumes in a supercomputing environment. To enable specification ...
169
Voted
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Medical imaging has made great technological breakthroughs in multimodal acquisition, visualization, and analysis with many complementary image modalities to non-invasively captur...
177
click to vote
SEMCO
2007
IEEE
16 years 1 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
165
click to vote
DAGM
2007
Springer
16 years 27 days ago
2007
Springer
Recursive estimation or Kalman filtering usually relies on explicit model functions, that directly and explicitly describe the effect of the parameters on the observations. Howeve...