Sciweavers

3381 search results - page 415 / 677
» Using VCL as an Aspect-Oriented Approach to Requirements Mod...
Sort
View
DMSN
2009
ACM
16 years 1 months ago
Message models and aggregation in knowledge based middleware for rich sensor systems
Networked, distributed real world sensing is an increasingly prominent topic in computing and has quickly expanded from resource constrained “sensor networks” measuring simple...
Joseph B. Kopena, William C. Regli, Boon Thau Loo
OOPSLA
2010
Springer
15 years 5 months ago
Language virtualization for heterogeneous parallel computing
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Ro...
ECCV
2008
Springer
16 years 8 months ago
Beyond Nouns: Exploiting Prepositions and Comparative Adjectives for Learning Visual Classifiers
Learning visual classifiers for object recognition from weakly labeled data requires determining correspondence between image regions and semantic object classes. Most approaches u...
Abhinav Gupta, Larry S. Davis
CVPR
2005
IEEE
16 years 8 months ago
A Closed Form Solution to Direct Motion Segmentation
We present a closed form solution to the problem of segmenting multiple 2-D motion models of the same type directly from the partial derivatives of an image sequence. We introduce...
Dheeraj Singaraju, René Vidal
FM
2003
Springer
160views Formal Methods» more  FM 2003»
15 years 12 months ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan