844 search results - page 145 / 169 » Safraless Decision Procedures |
IJCAI
1997
15 years 1 months ago
1997
This paper studies constraint satisfaction over connected row-convex (CRC) constraints. It shows that CRC constraints are closed under composition, intersection, and transposition...
116
click to vote
UAI
2000
15 years 1 months ago
2000
Decision theory does not traditionally include uncertainty over utility functions. We argue that the a person's utility value for a given outcome can be treated as we treat o...
124
click to vote
ANLP
1992
15 years 29 days ago
1992
While complete understanding of arbitrary input text remains in the future, it is currently possible to construct natural language processing systems that provide a partial unders...
103
click to vote
CAISE
2010
Springer
15 years 27 days ago
2010
Springer
Despite advances in situational method engineering, many software organizations continue to adopt an ad-hoc mix of method fragments from wellknown development methods such as Scrum...
DMSN
2010
ACM
15 years 27 days ago
2010
ACM
Sensor nodes constitute inexpensive, disposable devices that are often scattered in harsh environments of interest so as to collect and communicate desired measurements of monitor...