1982 search results - page 275 / 397 » Parametricity and dependent types |
166
click to vote
ROMAN
2007
IEEE
16 years 19 days ago
2007
IEEE
Abstract— This paper describes a novel algorithm for autonomous and incremental learning of motion pattern primitives by observation of human motion. Human motion patterns are ed...
157
click to vote
SECON
2007
IEEE
16 years 19 days ago
2007
IEEE
—Various sensor network measurement studies have reported instances of transient faults in sensor readings. In this work, we seek to answer a simple question: How often are such ...
184
click to vote
BTW
2007
Springer
16 years 16 days ago
2007
Springer
: In many application areas like e-science and data-warehousing detailed information about the origin of data is required. This kind of information is often referred to as data pro...
143
click to vote
CCS
2007
ACM
16 years 16 days ago
2007
ACM
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...
168
click to vote
COCOON
2007
Springer
16 years 16 days ago
2007
Springer
The last decade witnessed the extensive studies of algorithms for data streams. In this model, the input is given as a sequence of items passing only once or a few times, and we ar...