3820 search results - page 412 / 764 » Bounded Model Debugging |
124
click to vote
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Most Information Retrieval models take documents as Bagof-Words and are thereby bound to the language of the documents. In this paper, we present an approach using Linked...
112
click to vote
AML
2008
15 years 4 months ago
2008
We generalize ordinary register machines on natural numbers to machines whose registers contain arbitrary ordinals. Ordinal register machines are able to compute a recursive bounde...
126
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
As increasing amounts of sensitive personal information is aggregated into data repositories, it has become important to develop mechanisms for processing the data without revealin...
147
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We investigate the global scheduling of sporadic, implicit deadline, real-time task systems on multiprocessor platforms. We provide a task model which integrates job parallelism. ...
156
click to vote
CG
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents an approach to performing time-critical collision detection for deformable objects. The deformable objects are represented by dense meshes and their deformatio...