1350 search results - page 209 / 270 » Generalized Committed Choice |
107
click to vote
TPHOL
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
100
click to vote
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
Sets of named entities are used heavily at commercial search engines such as Google, Yahoo and Bing. Acquiring sets of entities typically consists of combining semi-supervised exp...
105
click to vote
SOUPS
2009
ACM
15 years 6 months ago
2009
ACM
Social navigation is a promising approach for supporting privacy and security management. By aggregating and presenting the choices made by others, social navigation systems can p...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— This paper deals with the tracking problem for constrained linear systems using a model predictive control (MPC) law. As it is well known, MPC provides a control law suitable f...
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
—Hash tables are extensively used in networking to implement data-structures that associate a set of keys to a set of values, as they provide O(1), query, insert and delete opera...