810 search results - page 48 / 162 » Rule-based Model Extraction from Source Code |
FASE
2009
Springer
13 years 11 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
Distributed Source Coding (DSC), formulated thirty years ago, is lately witnessing a great research effort. This effort is encouraged by emerging new applications that could great...
CAISE
2003
Springer
14 years 1 months ago
2003
Springer
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into ...
NAACL
2010
13 years 5 months ago
2010
With the increase in popularity of online review sites comes a corresponding need for tools capable of extracting the information most important to the user from the plain text da...
NN
2004
Springer
14 years 1 months ago
2004
Springer
A sound source separation technique based on a bio-inspired neural network, capable of functioning in more than two-source mixtures, is proposed. Separation results are compared wi...