190 search results - page 22 / 38 » Symmetry and Satisfiability: An Update |
125
Voted
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
Force feedback coupled with a real-time physically realistic graphic display provides a human operator with an artificial sense of presence in a virtual environment. Furthermore,...
116
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
108
click to vote
TIT
2008
15 years 1 months ago
2008
In this paper we study the scenario in which a server sends dynamic data over a single broadcast channel to a number of passive clients. We consider the data to consist of discret...
ICML
2009
IEEE
16 years 2 months ago
2009
IEEE
We present an algorithm for finding an ssparse vector x that minimizes the squareerror y - x 2 where satisfies the restricted isometry property (RIP), with isometric constant 2s ...
107
Voted
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability for propositional dynamic logic. Our main contribution is a sound meth...