5128 search results - page 332 / 1026 » When Abstraction Fails |
213
click to vote
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In recent years simulation tools for agent-environment interactions have included increasingly complex and physically realistic conditions. These simulations pose challen...
188
click to vote
ERCIMDL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Document triage is the critical point in the information seeking process when the user first decides the relevance of a document to their information need. This complex ...
169
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
164
click to vote
ICA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper deals with the problem of Blind Source Separation. Contrary to the vast majority of works, we do not assume the statistical independence between the sources an...
233
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we introduce a new piecewise linear parameterization of 3D surface patches which provides a basis for texture mapping, morphing, remeshing, and geometry im...