11129 search results - page 1721 / 2226 » Modeling Search Computing Applications |
159
click to vote
MOVEP
2000
15 years 10 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
185
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
Target-based positioning and 3-D target reconstruction are critical capabilities in deploying submersible platforms for a range of underwater applications, e.g., search and inspec...
305
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Abstract-- Current state-of-the-art association rule-based classifiers for gene expression data operate in two phases: (i) Association rule mining from training data followed by (i...
177
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Uknown to us, an axially-symmetric surface is broken into disjoint pieces along a set of break-curves, i.e., the curves along which the surface locally breaks into two pieces. A s...
182
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We introduce approximate query techniques for searching and analyzing two-dimensional data sets such as line or scatter plots. Our techniques allow users to explore a dataset by d...