Sciweavers

9412 search results - page 1538 / 1883
» An aspect-oriented generative approach
Sort
View
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
15 years 10 months ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...
COOPIS
2004
IEEE
15 years 10 months ago
Learning Classifiers from Semantically Heterogeneous Data
Semantically heterogeneous and distributed data sources are quite common in several application domains such as bioinformatics and security informatics. In such a setting, each dat...
Doina Caragea, Jyotishman Pathak, Vasant Honavar
COOPIS
2004
IEEE
15 years 10 months ago
GRIDKIT: Pluggable Overlay Networks for Grid Computing
A `second generation' approach to the provision of Grid middleware is now emerging which is built on service-oriented architecture and web services standards and technologies....
Paul Grace, Geoff Coulson, Gordon S. Blair, Lauren...
CSB
2004
IEEE
149views Bioinformatics» more  CSB 2004»
15 years 10 months ago
Weighting Features to Recognize 3D Patterns of Electron Density in X-Ray Protein Crystallography
Feature selection and weighting are central problems in pattern recognition and instance-based learning. In this work, we discuss the challenges of constructing and weighting feat...
Kreshna Gopal, Tod D. Romo, James C. Sacchettini, ...
CAISE
2006
Springer
15 years 10 months ago
An Efficient Implementation of a Rule-based Adaptive Web Information System
Abstract. Mobile devices provide a variety of ways to access information resources available on the Web and a high level of adaptability to different aspects (e.g., device capabili...
Davide Valeriano, Roberto De Virgilio, Riccardo To...
« Prev « First page 1538 / 1883 Last » Next »