3040 search results - page 310 / 608 » Independent Natural Extension |
227
click to vote
ICPIA
1992
15 years 11 months ago
1992
Abstract. Octrees o er a powerful means for representing and manipulating 3-D objects. This paper presents an implementation of octree manipulations using a new approach on a share...
166
click to vote
TACS
1994
Springer
15 years 11 months ago
1994
Springer
traction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Loyola University Chicago and Pasquale Malacaria4 Queen Mary and Westfield College An intensional m...
150
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
Current methods for interpreting oligonucleotidebased SNP-detection microarrays, SNP chips, are based on statistics and require extensive parameter tuning as well as extremely hig...
189
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
160
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...