Sciweavers

679 search results - page 87 / 136
» hybrid 2010
Sort
View
AISC
2010
Springer
14 years 2 months ago
Symbolic Domain Decomposition
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...
Jacques Carette, Alan P. Sexton, Volker Sorge, Ste...
ECCV
2010
Springer
14 years 2 months ago
The Semi-Explicit Shape Model for Multi-object Detection and Classification
We propose a model for classification and detection of object classes where the number of classes may be large and where multiple instances of object classes may be present in an i...
ICWE
2010
Springer
14 years 2 months ago
Web Messaging for Open and Scalable Distributed Sensing Applications
Future Web applications will increasingly require real-time data from the physical world collected by a myriad of sensors and actuators. Currently, integration of such devices requ...
Vlad Trifa, Dominique Guinard, Vlatko Davidovski, ...
SIGIR
2010
ACM
14 years 1 months ago
Context aware query classification using dynamic query window and relationship net
The context of the user queries, preceding a given query, is utilized to improve the effectiveness of query classification. Earlier efforts utilize fixed number of preceding queri...
Nazli Goharian, Saket S. R. Mengle
CAV
2010
Springer
173views Hardware» more  CAV 2010»
14 years 1 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...