11160 search results - page 155 / 2232 » Incompleteness in a General Setting |
127
click to vote
COR
2008
15 years 4 months ago
2008
In this paper a two-level hierarchical model for the location of concentrators and routers in computers networks is presented. Given a set of candidate locations and the capacitie...
100
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...
127
click to vote
PR
2006
15 years 3 months ago
2006
For the management of digital document collections, automatic database analysis still has ties to deal with semantic queries and abstract concepts that users are looking for. When...
144
click to vote
TOG
2002
15 years 3 months ago
2002
We discuss a method for creating animations that allows the animator to sketch an animation by setting a small number of keyframes on a fraction of the possible degrees of freedom...
183
click to vote
FOCS
2003
IEEE
15 years 9 months ago
2003
IEEE
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...