1313 search results - page 180 / 263 » Generic Universe Types |
140
click to vote
DATE
2007
IEEE
16 years 16 days ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
164
click to vote
IPPS
2007
IEEE
16 years 14 days ago
2007
IEEE
Parallelization of sequential programs is often daunting because of the substantial development cost involved. Various solutions have been proposed to address this concern, includ...
201
click to vote
CIVR
2007
Springer
16 years 11 days ago
2007
Springer
Generic concept detection has been a widely studied topic in recent research on multimedia analysis and retrieval, but the issue of how to exploit the structure of a multimedia on...
152
click to vote
COSIT
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...
195
Voted
INEX
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Many realistic user tasks involve the retrieval of specific entities instead of just any type of documents. Examples of information needs include ‘Countries where one ...