844 search results - page 118 / 169 » Safraless Decision Procedures |
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
— Boolean Satistifiability has attracted tremendous research effort in recent years, resulting in the developments of various efficient SAT solver packages. Based upon their de...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
The paper discusses the role of context in a collaborative design process, with a web-based environment for distributed architecture - engineering - construction teamwork. During ...
CVPR
1997
IEEE
14 years 9 days ago
1997
IEEE
A recent trend in motion-based segmentation has been to rely on statistical procedures derived from ExpectationMaximization (EM) principles. EM-based approaches have various attra...
CANDC
2007
ACM
13 years 10 months ago
2007
ACM
Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model tha...
IJCAI
2007
13 years 10 months ago
2007
Accurate entity resolution is sometimes impossible simply due to insufficient information. For example, in research paper author name resolution, even clever use of venue, title ...