834 search results - page 72 / 167 » Research Documentation Guidelines - Capturing knowledge, imp... |
158
click to vote
ISCA
2012
IEEE
13 years 2 months ago
2012
IEEE
A significant portion of the energy dissipated in modern integrated circuits is consumed by the overhead associated with timing guardbands that ensure reliable execution. Timing ...
JSAI
2007
Springer
15 years 6 months ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
PRESENCE
2006
14 years 11 months ago
2006
This paper is the first part of a two-part paper that documents a detailed survey of the research carried out on consistency and latency in distributed interactive applications (D...
RIAO
2004
15 years 1 months ago
2004
Personalized Web browsing and search hope to provide Web information that matches a user's personal interests and thus provide more effective and efficient information access...
100
click to vote
NAR
2002
14 years 11 months ago
2002
SMART (Simple Modular Architecture Research Tool, http://smart.embl-heidelberg.de) is a web-based resource used for the annotation of protein domains and the analysis of domain ar...