1802 search results - page 312 / 361 » Complexity Theory for Operators in Analysis |
287
click to vote
PODS
2009
ACM
16 years 6 months ago
2009
ACM
Querying uncertain data has emerged as an important problem in data management due to the imprecise nature of many measurement data. In this paper we study answering range queries...
176
click to vote
TPHOL
2007
IEEE
16 years 12 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
214
click to vote
CCECE
2006
IEEE
16 years 6 days ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
197
Voted
ASPLOS
2006
ACM
16 years 4 days ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
182
click to vote
RTAS
2005
IEEE
15 years 11 months ago
2005
IEEE
— Convoy driving on public highways is a useful phenomena which increases the safety and the throughput of the highway. We present an approach through which a wireless Convoy Dri...