1113 search results - page 43 / 223 » Counter Systems for Data Logics |
153
click to vote
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
By providing an integrated and optimized support for user-defined aggregates (UDAs), data stream management systems (DSMS) can achieve superior power and generality while preservi...
133
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
154
click to vote
ECIR
2006
Springer
15 years 5 months ago
2006
Springer
Motion capturing has become an important tool in fields such as sports sciences, biometrics, and particularly in computer animation, where large collections of motion material are ...
155
click to vote
IFSA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
141
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...