15635 search results - page 252 / 3127 » A Designing Model of XML-Dataweb |
167
click to vote
CP
2007
Springer
16 years 22 days ago
2007
Springer
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...
176
click to vote
SIGCSE
2005
ACM
16 years 3 days ago
2005
ACM
We provide a systematic transformation of an LL(1) grammar to an object model that consists of · an object structure representing the non-terminal symbols and their corresponding...
159
click to vote
ACIVS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Image processing is widely used in many applications, including medical imaging, industrial manufacturing and security systems. In these applications, the size of the ima...
158
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
140
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- We propose a method of correlating circuit performance with technology fluctuations during the circuit-design phase. The method employs test circuits sensitive for techn...