2526 search results - page 207 / 506 » A New Algorithm for Answer Set Computation |
213
click to vote
AWPN
2008
15 years 8 months ago
2008
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
157
click to vote
CHI
1993
ACM
15 years 10 months ago
1993
ACM
We describe pictographic naming, a new approach to naming for pen-based computers, in which filenames are pictures rather than ASCII strings. Handwriting recognition (HWX) of a n...
195
click to vote
TKDE
2010
15 years 4 months ago
2010
This paper presents a novel algorithm for Incremental and General Evaluation of continuous Reverse Nearest neighbor queries (IGERN, for short). The IGERN algorithm is general in t...
160
click to vote
SMILE
2000
Springer
15 years 10 months ago
2000
Springer
Starting with a set of calibrated photographs taken of a scene, voxel coloring algorithms reconstruct three-dimensional surface models on a finite spatial domain. In this paper, we...
177
click to vote
CG
2002
Springer
15 years 6 months ago
2002
Springer
We present new algorithms for the robust transmission of geometric data sets, i.e. transmission which allows the receiver to recover (an approximation of) the original geometric o...