Sciweavers

8824 search results - page 1368 / 1765
» On the Complexity of Real Functions
Sort
View
233
Voted
APSCC
2009
IEEE
16 years 1 months ago
SADI Semantic Web Services -- 'cause you can't always GET what you want!
SADI – Semantic Automated Discovery and Integration – is a set of standards-compliant Semantic Web Service design patterns that exploit the relatively straightforward interfac...
Mark D. Wilkinson, Benjamin P. Vandervalk, E. Luke...
CBMS
2009
IEEE
16 years 1 months ago
Comparative study of spine vertebra shape retrieval using learning-based feature selection
Feature extraction and selection are two important steps for shape retrieval. Given a data set, a set of features which describe the shape property from different aspects are extr...
Haiying Guan, Sameer Antani, L. Rodney Long, Georg...
186
Voted
CVPR
2009
IEEE
16 years 1 months ago
Learning multi-modal densities on Discriminative Temporal Interaction Manifold for group activity recognition
While video-based activity analysis and recognition has received much attention, existing body of work mostly deals with single object/person case. Coordinated multi-object activi...
Ruonan Li, Rama Chellappa, Shaohua Kevin Zhou
195
Voted
SAC
2009
ACM
16 years 1 months ago
Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore
Parallel architectures are the way of the future, but are notoriously difficult to program. In addition to the low-level constructs they often present (e.g., locks, DMA, and non-...
Nalini Vasudevan, Stephen A. Edwards
TACAS
2009
Springer
128views Algorithms» more  TACAS 2009»
16 years 1 months ago
All-Termination(T)
We introduce the All-Termination(T) problem: given a termination solver, T, and a program (a set of functions), find every set of formal arguments whose consideration is sufficie...
Panagiotis Manolios, Aaron Turon
« Prev « First page 1368 / 1765 Last » Next »