2960 search results - page 194 / 592 » The Culture Based Model: Constructing a Model of Culture |
161
click to vote
ICAT
2003
IEEE
15 years 11 months ago
2003
IEEE
The simulation of organ-organ interaction is indispensable for practical and advanced medical VR simulator such as open surgery and indirect palpation. This paper gives a method t...
155
click to vote
ISMVL
2010
IEEE
15 years 11 months ago
2010
IEEE
— In this paper we review the Billiard Ball Model (BBM) introduced by Toffoli and Fredkin. The analysis of a previous approach to design reversible networks based on BBM it shown...
166
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
167
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
158
click to vote
AADEBUG
1997
Springer
15 years 10 months ago
1997
Springer
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...