4211 search results - page 551 / 843 » Types as Abstract Interpretations |
158
click to vote
ISCAS
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— This paper presents a recently developed handheld biochip-based microsystem. The microsystem is based on a magneto-resistive array biochip composed of a number of sensi...
169
click to vote
TPHOL
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
194
click to vote
AB
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
141
click to vote
ACII
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. According to traditional animators, the art of building believable characters resides in the ability to successfully portray a character’s behaviour as the result of it...
144
click to vote
ACII
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we present a model of facial behaviour encompassing interpersonal relations for an Embodied Conversational Agent (ECA). Although previous solutions of this ...