Sciweavers

586 search results - page 88 / 118
» Model-Driven User Requirements Specification using SysML
Sort
View
120
Voted
TSE
2010
125views more  TSE 2010»
15 years 27 days ago
Engineering a Sound Assertion Semantics for the Verifying Compiler
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
Patrice Chalin
DEXA
2009
Springer
176views Database» more  DEXA 2009»
15 years 10 days ago
Analyzing Document Retrievability in Patent Retrieval Settings
Most information retrieval settings, such as web search, are typically precision-oriented, i.e. they focus on retrieving a small number of highly relevant documents. However, in sp...
Shariq Bashir, Andreas Rauber
104
Voted
IJMDEM
2010
72views more  IJMDEM 2010»
14 years 11 months ago
Fast Caption Alignment for Automatic Indexing of Audio
For large archives of audio media, just as with text archives, indexing is important for allowing quick and accurate searches. Similar to text archives, audio archives can use tex...
Allan Knight, Kevin C. Almeroth
128
Voted
KDD
2007
ACM
178views Data Mining» more  KDD 2007»
16 years 2 months ago
Practical learning from one-sided feedback
In many data mining applications, online labeling feedback is only available for examples which were predicted to belong to the positive class. Such applications include spam filt...
D. Sculley
128
Voted
ICAT
2006
IEEE
15 years 8 months ago
Projected Reality - Content Delivery Right onto Objects of Daily Life
—Spatial augmented reality using controllable projector-camera-systems to project onto objects directly, or Projected Reality as we call it, offers the possibility to augment obj...
Jochen Ehnes, Michitaka Hirose