Sciweavers

1736 search results - page 84 / 348
» Semantic Annotation for Java
Sort
View
WACV
2012
IEEE
13 years 5 months ago
Tools for richer crowd source image annotations
Crowd-sourcing tools such as Mechanical Turk are popular for annotation of large scale image data sets. Typically, these annotations consist of bounding boxes or coarse outlines o...
Joshua Little, Austin Abrams, Robert Pless
CASSIS
2004
Springer
15 years 3 months ago
ESC/Java2: Uniting ESC/Java and JML
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
David R. Cok, Joseph Kiniry
CARDIS
2006
Springer
114views Hardware» more  CARDIS 2006»
15 years 1 months ago
A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
Alexandre Courbot, Mariela Pavlova, Gilles Grimaud...
LREC
2010
155views Education» more  LREC 2010»
14 years 11 months ago
Towards a Standardized Linguistic Annotation of the Textual Content of Labels in Knowledge Representation Systems
We propose applying standardized linguistic annotation to terms included in labels of knowledge representation schemes (taxonomies or ontologies), hypothesizing that this would he...
Thierry Declerck, Piroska Lendvai
ICIP
2008
IEEE
15 years 11 months ago
Describing low-level image features using the COMM ontology
We present an innovative approach for storing and processing extracted low-level image features based on current Semantic Web technologies. We propose to use the COMM multimedia o...
Carsten Saathoff, Miroslav Vacura, Raphaël Tr...