7167 search results - page 1042 / 1434 » Answer Set Programming |
127
Voted
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
137
Voted
EMMCVPR
2001
Springer
15 years 8 months ago
2001
Springer
By exploiting an analogy with averaging procedures in fluid dynamics, we present a set of averaged template matching equations. These equations are analogs of the exact template m...
144
click to vote
NLDB
2001
Springer
15 years 8 months ago
2001
Springer
: This paper presents an automatic method and interface to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two co...
104
click to vote
PVM
2001
Springer
15 years 8 months ago
2001
Springer
Dynamic process management is a much-needed feature for applications and tools development in Beowulf cluster environment. A welldefined and efficient dynamic process management in...
146
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
JRoute is a set of Java classes that provide an application programming interface (API) for routing of Xilinx FPGA devices. The interface allows various levels of control from conn...