Sciweavers

3359 search results - page 457 / 672
» A Simplified Idea Algorithm
Sort
View
98
Voted
TACAS
2004
Springer
111views Algorithms» more  TACAS 2004»
15 years 5 months ago
Automatic Creation of Environment Models via Training
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
Thomas Ball, Vladimir Levin, Fei Xie
78
Voted
WEBI
2004
Springer
15 years 5 months ago
Mining Local Data Sources For Learning Global Cluster Models
— Distributed data mining has recently caught a lot of attention as there are many cases where pooling distributed data for mining is probibited, due to either huge data volume o...
Chak-Man Lam, Xiaofeng Zhang, William Kwok-Wai Che...
DATE
2003
IEEE
93views Hardware» more  DATE 2003»
15 years 5 months ago
Comparison of Test Pattern Decompression Techniques
Test pattern decompression techniques are bounded with the algorithm of test pattern ordering and test data flow controlling. Some of the methods could have more sophisticated sor...
Ondrej Novák
102
Voted
SMA
2003
ACM
125views Solid Modeling» more  SMA 2003»
15 years 5 months ago
Data-dependent fairing of subdivision surfaces
In this paper we present a new algorithm for solving the data dependent fairing problem for subdivision surfaces, using Catmull-Clark surfaces as an example. Earlier approaches to...
Ilja Friedel, Patrick Mullen, Peter Schröder
WSNA
2003
ACM
15 years 5 months ago
Information-directed routing in ad hoc sensor networks
—In a sensor network, data routing is tightly coupled to the needs of a sensing task, and hence the application semantics. This paper introduces the novel idea of information-dir...
Juan Liu, Feng Zhao, Dragan Petrovic