7623 search results - page 1129 / 1525 » Constructive Volume Modeling |
188
click to vote
ENTCS
2010
15 years 4 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
187
click to vote
IJDMB
2010
15 years 4 months ago
2010
: Crystal lattices are discrete models of the three-dimensional space that have been effectively employed to facilitate the task of determining proteins' natural conformation....
188
click to vote
INFORMATICALT
2010
15 years 4 months ago
2010
A proxy signature scheme enables an original signer to delegate its signing capability to a proxy signer and then the proxy signer can sign a message on behalf of the original sign...
196
click to vote
COMPSYSTECH
2010
15 years 3 months ago
2010
: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...
154
click to vote
COLING
2010
15 years 1 months ago
2010
While subjectivity related research in other languages has increased, most of the work focuses on single languages. This paper explores the integration of features originating fro...