Sciweavers

1581 search results - page 188 / 317
» Domain semantics of possibility computations
Sort
View
101
Voted
BTW
2005
Springer
80views Database» more  BTW 2005»
15 years 6 months ago
Measuring the Quality of Approximated Clusterings
Abstract. Clustering has become an increasingly important task in modern application domains. In many areas, e.g. when clustering complex objects, in distributed clustering, or whe...
Hans-Peter Kriegel, Martin Pfeifle
FOCS
2002
IEEE
15 years 5 months ago
A Dichotomy Theorem for Constraints on a Three-Element Set
The Constraint Satisfaction Problem (CSP) provides a common framework for many combinatorial problems. The general CSP is known to be NP-complete; however, certain restrictions on...
Andrei A. Bulatov
71
Voted
SIGGRAPH
2010
ACM
15 years 5 months ago
Dynamic local remeshing for elastoplastic simulation
We propose a finite element simulation method that addresses the full range of material behavior, from purely elastic to highly plastic, for physical domains that are substantial...
Martin Wicke, Daniel Ritchie, Bryan M. Klingner, S...
96
Voted
HYBRID
2009
Springer
15 years 4 months ago
Trajectory Based Verification Using Local Finite-Time Invariance
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
A. Agung Julius, George J. Pappas
100
Voted
COST
2008
Springer
99views Multimedia» more  COST 2008»
15 years 2 months ago
From Extensity to Protensity in CAS: Adding Sounds to Icons
Abstract. Being aware of the gap between technological offers and user expectations, the paper aims to illustrate the necessity of anthropocentric designs ("user-pulled")...
Alina E. Lascu, Alexandru V. Georgescu