Sciweavers

4609 search results - page 401 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
ATAL
2004
Springer
16 years 6 days ago
Fitting and Compilation of Multiagent Models through Piecewise Linear Functions
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
David V. Pynadath, Stacy Marsella
IPPS
2002
IEEE
15 years 11 months ago
A SIMD Vectorizing Compiler for Digital Signal Processing Algorithms
Short vector SIMD instructions on recent microprocessors, such as SSE on Pentium III and 4, speed up code but are a major challenge to software developers. We present a compiler t...
Franz Franchetti, Markus Püschel
IWPC
2002
IEEE
15 years 11 months ago
Traceability Recovery in RAD Software Systems
This paper proposes an approach and a process to recover traceability links between source code and free text documents in software system developed with extensive use of COTS, mi...
Massimiliano Di Penta, Sara Gradara, Giuliano Anto...
MM
1999
ACM
151views Multimedia» more  MM 1999»
15 years 11 months ago
Auto-summarization of audio-video presentations
As streaming audio-video technology becomes widespread, there is a dramatic increase in the amount of multimedia content available on the net. Users face a new challenge: How to e...
Liwei He, Elizabeth Sanocki, Anoop Gupta, Jonathan...
WSC
2008
15 years 9 months ago
Automated execution of simulation studies demonstrated via a simulation of a car
In the automotive area, a huge number of different technologies were developed in the last couples of years. The car manufacturers have to meet the challenge of selecting the most...
Sven Dominka, Eduard Broecker, Frank Schiller