4460 search results - page 251 / 892 » Formal methods for interactive systems |
174
click to vote
ECOOP
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
179
click to vote
IJRR
2002
15 years 5 months ago
2002
We present method and implementation to acquire deformable models of elastic objects. The method is based on the Green's functions matrix representation of an elastic solid. ...
203
click to vote
CPHYSICS
2010
15 years 6 months ago
2010
We investigate fully parallel Newton-Krylov-Schwarz (NKS) algorithms for solving the large sparse nonlinear systems of equations arising from the finite element discretization of ...
171
click to vote
IJOE
2008
15 years 4 months ago
2008
: This paper presents a web-based laboratory for distance learners by incorporating simulation and hardware implementation into web-based e-learning systems. It presents a developm...
162
click to vote
ICRA
2008
IEEE
16 years 14 days ago
2008
IEEE
— Faces play a major role in many HCI systems, because they represent a rich source of information. Being able to estimate the 3D face pose in real-time, we can get a clue about ...