77016 search results - page 379 / 15404 » Modeling Modeling |
168
click to vote
NLUCS
2008
15 years 8 months ago
2008
Abstract. To develop a computational model of understanding spatial expressions, various factors should be taken into account. We have been exploring the relations between the good...
168
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
140
click to vote
GRAPHICSINTERFACE
2003
15 years 8 months ago
2003
In this paper we present our initial work on simulating suture and suturing using mass-spring models. Various models for simulating suture were studied, and a simple linear mass-s...
153
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We discuss, compare and relate some old and some new models for incomplete and probabilistic databases. We characterize the expressive power of c-tables over infinite dom...
198
click to vote
ICEBE
2005
IEEE
16 years 11 days ago
2005
IEEE
Uncertainty always exists as an unavoidable factor when developing context-aware applications for pervasive computing environments [1][2][3][4]. In this paper, we propose a unifie...