2085 search results - page 242 / 417 » Special interest groups |
167
click to vote
SUM
2009
Springer
15 years 11 months ago
2009
Springer
Database techniques to store, query and manipulate data that contains uncertainty receives increasing research interest. Such UDBMSs can be classified according to their underlyin...
188
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
187
click to vote
COLT
2001
Springer
15 years 11 months ago
2001
Springer
We describe a new boosting algorithm which generates only smooth distributions which do not assign too much weight to any single example. We show that this new boosting algorithm ...
187
click to vote
COSIT
2001
Springer
15 years 11 months ago
2001
Springer
The simulation of human behavior in space is an extremely interesting and powerful research method to advance our understanding of human spatial cognition and the interaction of hu...
180
click to vote
NOSSDAV
2001
Springer
15 years 11 months ago
2001
Springer
Operating system enhancements to support real-time and multimedia applications often include specializations and extensions of kernel functionality, as with the kernel HTTP daemon...