5215 search results - page 931 / 1043 » A model of normative power |
206
click to vote
LFCS
2009
Springer
16 years 29 days ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
180
click to vote
SMA
2009
ACM
16 years 27 days ago
2009
ACM
The Corner Table (CT) promoted by Rossignac et al. provides a simple and efficient representation of triangle meshes, storing 6 integer references per triangle (3 vertex reference...
153
click to vote
ASPLOS
2010
ACM
16 years 27 days ago
2010
ACM
As the number of devices available per chip continues to increase, the computational potential of future computer architectures grows likewise. While this is a clear benefit for f...
197
click to vote
ICRA
2008
IEEE
16 years 25 days ago
2008
IEEE
—Capsule endoscopy is a promising technique for diagnosing diseases in the small intestines. Here we propose a miniature swimming mechanism that uses MRI’s magnetic fields for ...
180
click to vote
QEST
2008
IEEE
16 years 24 days ago
2008
IEEE
Magnifying Lens Abstraction in Markov Decision Processes ∗ Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA ...