Sciweavers

2736 search results - page 344 / 548
» Implementable allocation rules
Sort
View
VW
1998
Springer
174views Virtual Reality» more  VW 1998»
15 years 10 months ago
ALife Meets Web: Lessons Learned
Arti cial life might come to play important roles for the World Wide Web, both as a source of new algorithmic paradigms and as a source of inspiration for its future development. N...
Luigi Pagliarini, Ariel Dolan, Filippo Menczer, He...
CSFW
1996
IEEE
15 years 10 months ago
An Immunological Approach to Change Detection: Theoretical Results
: This paper examines some of the theoretical foundations of the distributable change detection method introduced by Forrest et al. in [10], including fundamental bounds on some of...
Patrik D'haeseleer
SIGGRAPH
2010
ACM
15 years 10 months ago
Unified simulation of elastic rods, shells, and solids
We develop an accurate, unified treatment of elastica. Following the method of resultant-based formulation to its logical extreme, we derive a higher-order integration rule, or el...
Sebastian Martin, Peter Kaufmann, Mario Botsch, Ei...
ALP
1990
Springer
15 years 10 months ago
Equation Solving in Conditional AC-Theories
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
Nachum Dershowitz, Subrata Mitra, G. Sivakumar
CAISE
2007
Springer
15 years 10 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst