1705 search results - page 299 / 341 » Representing Constraints with Automata |
88
Voted
CORR
2011
Springer
14 years 1 months ago
2011
Springer
We present a unifying approach to the efļ¬cient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ā...
DASFAA
2011
IEEE
14 years 1 months ago
2011
IEEE
Route planning, which is used to calculate feasible routes in a given environment, is one of the key issues in navigation systems. According to diļ¬erent constraints in diļ¬erent...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Many applications of spoken-language systems can beneļ¬t from having access to annotations of prosodic events. Unfortunately, obtaining human annotations of these events, even se...
ICWE
2011
Springer
14 years 1 months ago
2011
Springer
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
116
click to vote
APVIS
2011
13 years 9 months ago
2011
Graphs are often used to encapsulate relationships between objects. Node-link diagrams, commonly used to visualize graphs, suffer from visual clutter on large graphs. Edge bundlin...