1247 search results - page 57 / 250 » Reasoning about Function Objects |
127
click to vote
AC
2000
Springer
15 years 6 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
122
click to vote
ECBS
2002
IEEE
15 years 7 months ago
2002
IEEE
The objective of this research is to develop tools and methods for system-level optimization of embedded software that is executed on system-on-chip platforms. In particular, this...
127
Voted
JMIV
2010
15 years 26 days ago
2010
Shape estimation and object reconstruction are common problems in image analysis. Mathematically, viewing objects in the image plane as random sets reduces the problem of shape es...
113
Voted
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
This paper proposes a model-based methodology for recognizing and tracking objects in digital image sequences. Objects are represented by attributed relational graphs (or ARGs), w...
135
click to vote
AEI
2004
15 years 2 months ago
2004
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...