Sciweavers

215 search results - page 25 / 43
» Algebraic simulations
Sort
View
CAISE
2008
Springer
13 years 12 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
AIIDE
2008
14 years 5 days ago
Modeling Culturally and Emotionally Affected Behavior
Culture and emotions have a profound impact on human behavior. Consequently, high-fidelity simulated interactive environments (e.g., trainers and computer games) that involve virt...
Vadim Bulitko, Steve Solomon, Jonathan Gratch, Mic...
CRV
2007
IEEE
139views Robotics» more  CRV 2007»
14 years 4 months ago
A Simple Operator for Very Precise Estimation of Ellipses
This paper presents a simple linear operator that accurately estimates the position and parameters of ellipse features. Based on the dual conic model, the operator avoids the inte...
Jean-Nicolas Ouellet, Patrick Hébert
SC
2000
ACM
14 years 2 months ago
Parallel Smoothed Aggregation Multigrid: Aggregation Strategies on Massively Parallel Machines
Algebraic multigrid methods offer the hope that multigrid convergence can be achieved (for at least some important applications) without a great deal of effort from engineers an...
Ray S. Tuminaro, Charles Tong
ECCC
2008
168views more  ECCC 2008»
13 years 10 months ago
Algebrization: A New Barrier in Complexity Theory
Any proof of P = NP will have to overcome two barriers: relativization and natural proofs. Yet over the last decade, we have seen circuit lower bounds (for example, that PP does n...
Scott Aaronson, Avi Wigderson