Sciweavers

390 search results - page 26 / 78
» State of the art in testing components
Sort
View
TACAS
2010
Springer
225views Algorithms» more  TACAS 2010»
14 years 2 months ago
Automated Termination Analysis for Programs with Second-Order Recursion
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
Markus Aderhold
EMMCVPR
2009
Springer
14 years 2 months ago
Locally Parallel Textures Modeling with Adapted Hilbert Spaces
This article 3 presents a new adaptive texture model. Locally parallel oscillating patterns are modeled with a weighted Hilbert space defined over local Fourier coefficients. The ...
Pierre Maurel, Jean-François Aujol, Gabriel...
CIA
2007
Springer
14 years 2 months ago
A Generic Framework for Argumentation-Based Negotiation
Past years have witnessed a growing interest in automated negotiation as a coordination mechanism for interacting agents. This paper presents a generic, problem- and domain-indepen...
Markus M. Geipel, Gerhard Weiss
DIAL
2006
IEEE
110views Image Analysis» more  DIAL 2006»
14 years 1 months ago
DIAL 2004 Working Group Report on Acquisition Quality Control
This report summarizes the discussions of the Working Group on Acquisition Quality at the International Workshop on Document Image Analysis for Libraries, Palo Alto, CA, 23-24 Jan...
Elisa H. Barney Smith, Henry S. Baird, William A. ...
GI
2009
Springer
14 years 12 days ago
Mobile computing in mass casualty incidents (MCIs)
: This paper illustrates the future role of mobile computing for the response in emergencies and mass casualty incidents (MCIs). Furthermore it describes the different components a...
Simon Nestler, Gudrun Klinker