902 search results - page 175 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
121
click to vote
BMCBI
2008
15 years 16 days ago
2008
To address the challenges of information integration and retrieval, the computational genomics community increasingly has come to rely on the methodology of creating annotations o...
102
click to vote
ICFP
2008
ACM
16 years 12 days ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
119
click to vote
MOBIHOC
2008
ACM
16 years 23 hour ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...
125
Voted
ICFP
2005
ACM
16 years 12 days ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
111
Voted
IJCAI
2003
15 years 1 months ago
2003
Writer’s Aid is a collaborative system that works simultaneously with an author editing a document providing assistance in identifying and inserting citation keys and autonomous...