6693 search results - page 727 / 1339 » Methods of Automatic Algorithm Generation |
180
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...
163
click to vote
SPIRE
2004
Springer
16 years 6 days ago
2004
Springer
This work provides algorithms and heuristics to index text documents by determining important topics in the documents. To index text documents, the work provides algorithms to gene...
186
Voted
CAEPIA
2003
Springer
16 years 2 days ago
2003
Springer
The Partitioning problem is a key issue in the design of Distributed Virtual Environment (DVE) systems based on a server-network architecture. This problem consist of efficiently ...
185
Voted
FPL
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an FPGA-based implementation of a syntactic parser that can process languages generated by almost unrestricted real-life context-free grammars (CFGs). More prec...
164
click to vote
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
: We present an algorithm for haptic display of moderately complex polygonal models with a six degree of freedom (DOF) force feedback device. We make use of incremental algorithms ...