1705 search results - page 296 / 341 » Representing Constraints with Automata |
WINE
2010
Springer
14 years 7 months ago
2010
Springer
In this paper, we characterize strategy-proof voting rules when the set of alternatives has a multi-issue structure, and the voters' preferences are represented by acyclic CP-...
HCI
2009
14 years 7 months ago
2009
Task time is a measure of productivity in an interface. Keystroke Level Modeling (KLM) can predict experienced user task time to within 10 to 30% of actual times. One of the bigges...
ICIP
2009
IEEE
14 years 7 months ago
2009
IEEE
In a print production system, the ability to match a printed document with its original electronic form enables services that improve robustness of the production process, such as...
110
click to vote
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
104
click to vote
ECAI
2010
Springer
14 years 7 months ago
2010
Springer
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...