4231 search results - page 687 / 847 » Using Language More Responsibly |
159
click to vote
CP
2007
Springer
16 years 20 days ago
2007
Springer
It is known that Constraint Satisfaction Problems (CSP) can be converted into Boolean Satisfiability problems (SAT); however how to encode a CSP into a SAT problem such that a SAT...
167
click to vote
ICALP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Various methods have been used to represent a tree on n nodes in essentially the informationtheoretic minimum space while supporting various navigational operations in co...
142
click to vote
UIST
2006
ACM
16 years 13 days ago
2006
ACM
To disentangle and analyze neural pathways estimated from magnetic resonance imaging data, scientists need an interface to select 3D pathways. Broad adoption of such an interface ...
177
click to vote
IRI
2005
IEEE
16 years 2 days ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
170
click to vote
ICALP
2005
Springer
16 years 14 hour ago
2005
Springer
Given two rooted, ordered, and labeled trees P and T the tree inclusion problem is to determine if P can be obtained from T by deleting nodes in T. This problem has recently been r...