1743 search results - page 142 / 349 » Generalized Modal Satisfiability |
118
Voted
INFOCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
—In many wired and wireless networks, nodes process input traffic to satisfy a network constraint (e.g. capacity constraints) and to increase the utility of data in the output ...
127
Voted
COCO
2007
Springer
15 years 9 months ago
2007
Springer
We study a model of graph related formulae that we call the Constraint-Graph model. A constraintgraph is a labeled multi-graph (a graph where loops and parallel edges are allowed)...
169
Voted
SPIRE
2005
Springer
15 years 9 months ago
2005
Springer
Proximity searching consists in retrieving from a database, objects that are close to a query. For this type of searching problem, the most general model is the metric space, where...
122
Voted
W4A
2004
ACM
15 years 8 months ago
2004
ACM
Specifications for accessibility of Web page do not necessarily guarantee a usable or satisfying Web experience for persons with disabilities. The needs of many of these individua...
124
Voted
WPES
2004
ACM
15 years 8 months ago
2004
ACM
In an open environment such as the Internet, the decision to collaborate with a stranger (e.g., by granting access to a resource) is often based on the characteristics (rather tha...