4325 search results - page 710 / 865 » Incremental computation with names |
AI
2008
Springer
15 years 1 months ago
2008
Springer
The web, as a real mass medium, has become an invaluable data source for Information Extraction and Retrieval systems. Digital authoring is a relatively new style of communication,...
110
click to vote
EDBT
2010
ACM
15 years 1 months ago
2010
ACM
Keyword-based search in relational databases allows users to discover relevant information without knowing the database schema or using complicated queries. However, such searches...
GLVLSI
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper describes a physics-based semi-analytical model for Schottky-barrier carbon nanotube (CNT) and graphene nanoribbon (GNR) transistors. The model includes the treatment o...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Software cache-based side channel attacks present a serious threat to computer systems. Previously proposed countermeasures were either too costly for practical use or only effect...
ICALP
2010
Springer
15 years 1 months ago
2010
Springer
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...