Sciweavers

3724 search results - page 635 / 745
» Timed regular expressions
Sort
View
SI3D
1995
ACM
15 years 1 months ago
I-COLLIDE: An Interactive and Exact Collision Detection System for Large-Scale Environments
: We present an exact and interactive collision detection system, I-COLLIDE, for large-scale environments. Such environments are characterized by the number of objects undergoing r...
Jonathan D. Cohen, Ming C. Lin, Dinesh Manocha, Ma...
VLDB
1991
ACM
111views Database» more  VLDB 1991»
15 years 1 months ago
The Power of Methods With Parallel Semantics
A model capturing the data manipulation capabilities of a large class of methods in ohjectoriented databases is proposed and investsigated. The model uses a deterministic, paralle...
Karl Denninghoff, Victor Vianu
ATAL
2009
Springer
15 years 1 months ago
Normative framework for normative system change
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...
Guido Boella, Gabriella Pigozzi, Leendert van der ...
93
Voted
CAV
2010
Springer
190views Hardware» more  CAV 2010»
15 years 1 months ago
Measuring and Synthesizing Systems in Probabilistic Environments
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
CVPR
2009
IEEE
15 years 1 months ago
Nonlinear Nonnegative Component Analysis
In this paper general solutions for Nonlinear Nonnegative Component Analysis for data representation and recognition are proposed. That is, motivated by a combination of the Nonne...
Stefanos Zafeiriou, Maria Petrou