15155 search results - page 2469 / 3031 » System Software |
215
click to vote
LPAR
2005
Springer
16 years 20 days ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
188
click to vote
MKM
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
180
click to vote
NIME
2005
Springer
16 years 19 days ago
2005
Springer
This paper takes the reader through various elements of the GoingPublik sound artwork for distributive ensemble and introduces the Realtime Score Synthesis tool (RSS) used as a co...
238
click to vote
PADL
2005
Springer
16 years 19 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...
154
click to vote
SERA
2005
Springer
16 years 19 days ago
2005
Springer
This paper presents Deployment Factory, a modeldriven unified environment for deploying componentbased applications. While there are projects aiming to develop a unified deploymen...