586 search results - page 88 / 118 » Model-Driven User Requirements Specification using SysML |
120
Voted
TSE
2010
15 years 27 days ago
2010
—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...
165
click to vote
DEXA
2009
Springer
15 years 10 days ago
2009
Springer
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...
104
Voted
IJMDEM
2010
14 years 11 months ago
2010
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...
128
Voted
KDD
2007
ACM
16 years 2 months ago
2007
ACM
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...
128
Voted
ICAT
2006
IEEE
15 years 8 months ago
2006
IEEE
—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...