2953 search results - page 286 / 591 » A Feature Selection Technique based on Distributional Differ... |
122
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
151
Voted
INFSOF
2007
15 years 4 months ago
2007
A set of mutation operators for SQL queries that retrieve information from a database is developed and tested against a set of queries drawn from the NIST SQL Conformance Test Sui...
132
Voted
ISTA
2003
15 years 5 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
134
click to vote
APSCC
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper examines the problem of predicting job runtimes by exploiting the properties of parameter sweeps. A new parameter sweep prediction framework GIPSy (Grid Information P...
135
click to vote
AINA
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we propose a novel routing algorithm for maritime monitoring of short term events where large area monitoring relies on small buoys drifting along with local curren...