Sciweavers

1423 search results - page 84 / 285
» Language Modeling for Determiner Selection
Sort
View
225
Voted
CC
2009
Springer
116views System Software» more  CC 2009»
16 years 4 months ago
A Framework for Exploring Optimization Properties
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
Min Zhao, Bruce R. Childers, Mary Lou Soffa
113
Voted
CVPR
2010
IEEE
15 years 12 months ago
Far-Sighted Active Learning on a Budget for Image and Video Recognition
Active learning methods aim to select the most informative unlabeled instances to label first, and can help to focus image or video annotations on the examples that will most impr...
Sudheendra Vijayanarasimhan, Prateek Jain, Kristen...
118
Voted
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
15 years 7 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann
154
Voted
EMSOFT
2006
Springer
15 years 7 months ago
Scheduling-independent threads and exceptions in SHIM
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
Olivier Tardieu, Stephen A. Edwards
124
Voted
ER
1999
Springer
152views Database» more  ER 1999»
15 years 7 months ago
Semantically Accessing Documents Using Conceptual Model Descriptions
. When publishing documents on the web, the user needs to describe and classify her documents for the benefit of later retrieval and use. This paper presents an approach to semanti...
Terje Brasethvik, Jon Atle Gulla