1536 search results - page 87 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
DICS
2006
14 years 11 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
IMCSIT
2010
14 years 4 months ago
2010
SyMGiza++ -- a tool that computes symmetric word alignment models with the capability to take advantage of multi-processor systems -- is presented. A series of fairly simple modifi...
CDC
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper gives an overview of guidance laws that can be applied for planar motion control purposes. Considered scenarios include target tracking, where only instantaneous informa...
Publication
The most expressive way humans display emotions is through facial expressions. Humans detect and interpret faces and facial expressions in a scene with little or no effort. Still, ...
IWSOC
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper addresses some fundamental issues relating to the design of systems on chip that utilize optical interconnects. We present an information theoretical model for assessin...