Sciweavers

426 search results - page 30 / 86
» C Annotations
Sort
View
CIIA
2009
13 years 9 months ago
Web Services Composition Applying MDA
Currently, Web services are available on Internet in a simple and easy way to use. However, a single service can not respond to a predetermined request by user. Thus, it is necessa...
Yamina Hachemi, Mimoun Malki, Djamel Amar Bensaber
ESOP
2007
Springer
14 years 2 months ago
Dependent Types for Low-Level Programming
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
Jeremy Condit, Matthew Harren, Zachary R. Anderson...
ECAI
2004
Springer
14 years 1 months ago
Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving Objects
We present a framework for annotating dynamic scenes involving occlusion and other uncertainties. Our system comprises an object tracker, an object classifier and an algorithm for...
Brandon Bennett, Derek R. Magee, Anthony G. Cohn, ...
IPPS
1998
IEEE
14 years 22 days ago
Using PI/OT to Support Complex Parallel I/O
This paper describes PI/OT, a template-based parallel I/O system. In PI/OT, I/O streams have annotations associated with them that are external to the source code. These annotatio...
Ian Parsons, Jonathan Schaeffer, Duane Szafron, Ro...
CLOR
2006
14 years 6 days ago
Dataset Issues in Object Recognition
Appropriate datasets are required at all stages of object recognition research, including learning visual models of object and scene categories, detecting and localizing instances ...
Jean Ponce, Tamara L. Berg, Mark Everingham, David...