5550 search results - page 743 / 1110 » Different Approaches to Proof Systems |
231
click to vote
PADL
2005
Springer
16 years 15 days ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
156
click to vote
WEBI
2005
Springer
16 years 15 days ago
2005
Springer
Due to the globalization on the Web, many companies and institutions need to efficiently organize and search repositories containing multilingual documents. The management of the...
164
click to vote
MM
2004
ACM
16 years 13 days ago
2004
ACM
Auracle is a networked sound instrument controlled by the voice. Users jam together over the Internet using only a microphone. Throughout the development process, the authors expe...
211
click to vote
WMPI
2004
ACM
16 years 13 days ago
2004
ACM
In order to meet the requirements concerning both performance and energy consumption in embedded systems, new memory architectures are being introduced. Beside the well-known use o...
170
click to vote
UML
2004
Springer
16 years 11 days ago
2004
Springer
An aspect-oriented design model consists of a set of aspect models and a primary model. Each of these models consists of a number of different kinds of UML diagrams. The models mus...