Sciweavers

10213 search results - page 389 / 2043
» An Experimental Analysis of Parallel
Sort
View
POPL
2012
ACM
14 years 2 days ago
Resource-sensitive synchronization inference by abduction
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
Matko Botincan, Mike Dodds, Suresh Jagannathan
SSIAI
2000
IEEE
15 years 9 months ago
Lower-Level and Higher-Level Approaches to Content-Based Image Retrieval
This paper describes a content-based image retrieval system that employs both higher-level and lower-level vision methodologies separately and in conjunction for the retrieval of ...
Qasim Iqbal, Jake K. Aggarwal
PERCOM
2009
ACM
15 years 11 months ago
Using Situation Lattices in Sensor Analysis
Highly sensorised systems present two parallel challenges: how to design a sensor suite that can efficiently and cost-effectively support the needs of given services; and to extr...
Juan Ye, Lorcan Coyle, Simon Dobson, Paddy Nixon
EDOC
2007
IEEE
15 years 11 months ago
Model-Driven Engineering for Requirements Analysis
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
Benoit Baudry, Clémentine Nebut, Yves Le Tr...
ROMAN
2007
IEEE
134views Robotics» more  ROMAN 2007»
15 years 10 months ago
Design and Analysis of a New Six-DOF Haptic Device for Dental Training
—This paper presents a new six DOF haptic device for dental surgery training system, which can provide 6 dimensional virtual force and torque. The proposed haptic device is based...
Yonggang Cao, Yuru Zhang, Yunzhong Ma, Dangxiao Wa...