2563 search results - page 201 / 513 » Phenomenology, Representations and Complexity |
160
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
It is well-known that modal satisfiability is PSPACE-complete [Lad77]. However, the complexity may decrease if we restrict the set of propositional operators used. Note that there ...
210
click to vote
EJIS
2008
15 years 7 months ago
2008
Despite the increasing popularity of mobile information systems, the actual processes leading to the innovation of mobile technologies remain largely unexplored. This study uses A...
172
click to vote
ML
2008
ACM
15 years 7 months ago
2008
ACM
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...
171
click to vote
TROB
2008
15 years 7 months ago
2008
Abstract--This paper addresses the challenging problem of finding collision-free trajectories for many robots moving toward individual goals within a common environment. Most popul...
196
click to vote
TVCG
2008
15 years 7 months ago
2008
We present an interactive algorithm to compute sound propagation paths for transmission, specular reflection and edge diffraction in complex scenes. Our formulation uses an adaptiv...