6607 search results - page 88 / 1322 » Making TeX Work |
116
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology ? SUMO), and methods for making SUMO suita...
ISCA
2008
IEEE
15 years 9 months ago
2008
IEEE
Three-dimensional integration enables stacking memory directly on top of a microprocessor, thereby significantly reducing wire delay between the two. Previous studies have examin...
CISIS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— In this paper, we integrate the traditional finitestate automata (words, or string based) into the membrane computing paradigm, as previous work prevalently concentrat...
CONTEXT
2007
Springer
15 years 9 months ago
2007
Springer
: The needs-based information supply for medical workplaces is a necessary condition in order to ensure a maximum quality of medical care. A survey conducted by the Fraunhofer ISST...
110
click to vote
POLICY
2007
Springer
15 years 9 months ago
2007
Springer
Among the many works on trust negotiation, only a few deal with negotiation strategies. These works are tailored to specific frameworks—so their results cannot be extended to c...