Sciweavers

215 search results - page 25 / 43
» Algebraic simulations
Sort
View
CAISE
2008
Springer
15 years 7 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
152
Voted
AIIDE
2008
15 years 7 months 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»
15 years 11 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
137
Voted
SC
2000
ACM
15 years 9 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
150
Voted
ECCC
2008
168views more  ECCC 2008»
15 years 5 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