8512 search results - page 1310 / 1703 » Computing Theory With Relevance |
193
click to vote
MEMOCODE
2006
IEEE
16 years 25 days ago
2006
IEEE
The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is to allow the...
191
click to vote
COMPGEOM
2006
ACM
16 years 24 days ago
2006
ACM
In the last decade, a great deal of work has been devoted to the elaboration of a sampling theory for smooth surfaces. The goal was to ensure a good reconstruction of a given surf...
192
click to vote
DOCENG
2006
ACM
16 years 24 days ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
184
click to vote
SIGIR
2006
ACM
16 years 23 days ago
2006
ACM
Since the website is one of the most important organizational structures of the Web, how to effectively rank websites has been essential to many Web applications, such as Web sear...
210
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...