Sciweavers

686 search results - page 101 / 138
» Automatic Model Generation Strategies for Model Transformati...
Sort
View
CSREAPSC
2006
15 years 1 months ago
Mobile Access to Web Systems Using a Multi-device Interface Design Approach
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...
Rodrigo de Oliveira, Heloisa Vieira da Rocha
ICSE
2004
IEEE-ACM
15 years 12 months ago
Verifying DAML+OIL and Beyond in Z/EVES
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H....
ML
2010
ACM
138views Machine Learning» more  ML 2010»
14 years 6 months ago
Mining adversarial patterns via regularized loss minimization
Traditional classification methods assume that the training and the test data arise from the same underlying distribution. However, in several adversarial settings, the test set is...
Wei Liu, Sanjay Chawla
ICRA
2010
IEEE
220views Robotics» more  ICRA 2010»
14 years 10 months ago
Autonomous Underwater Vehicle trajectory design coupled with predictive ocean models: A case study
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
Ryan N. Smith, Arvind Pereira, Yi Chao, Peggy Li, ...
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 7 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...