Sciweavers

582 search results - page 79 / 117
» Generative and Incremental Approach to Scripting Support Imp...
Sort
View
IAAI
1993
13 years 9 months ago
COMPAQ QuickSource: Providing the Consumer with the Power of Artificial Intelligence
This paper describes COMPAQ QuickSource, an electronic problem-solving and information system for Compaq’s line of networked printers. A major goal in designing this system was ...
Trung Nguyen, Mary Czerwinski, Dan Lee
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
12 years 3 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
IV
2008
IEEE
99views Visualization» more  IV 2008»
14 years 2 months ago
Visualization Enhanced Semantic Wikis for Patent Information
In this paper we present a new approach for using semantic wikis for collaborative patent search and annotation. We describe an extension that allows integrating interactive visua...
Mark Giereth, Thomas Ertl
MICCAI
2010
Springer
13 years 6 months ago
Brain Morphometry by Probabilistic Latent Semantic Analysis
The paper proposes a new shape morphometry approach to combine advanced classification techniques with geometric features in order to identify morphological abnormalities on brain...
Umberto Castellani, Alessandro Perina, Vittorio Mu...
TSMC
2008
147views more  TSMC 2008»
13 years 7 months ago
Tracking of Multiple Targets Using Online Learning for Reference Model Adaptation
Recently, much work has been done in multiple ob-4 ject tracking on the one hand and on reference model adaptation5 for a single-object tracker on the other side. In this paper, we...
Franz Pernkopf