1955 search results - page 301 / 391 » Can Computers Handle Adverbs |
148
click to vote
ICCAD
1995
IEEE
15 years 8 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
129
click to vote
LISA
2007
15 years 6 months ago
2007
Usher is a virtual machine management system designed to impose few constraints upon the computing environment under its management. Usher enables administrators to choose how the...
156
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
141
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
In a number of application areas, distributed database systems can be used to provide persistent storage of data while providing efficient access for both local and remote data. W...
133
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Semantic peer to peer (P2P) systems are fully decentralized overlay networks of people or machines (called peers) sharing and searching varied resources (documents, videos, photos...