1856 search results - page 59 / 372 » Formal Dialectic Specification |
122
Voted
SIMVIS
2004
15 years 4 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
105
Voted
PDPTA
2003
15 years 4 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
142
Voted
DLOG
2009
15 years 17 days ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
123
Voted
RISE
2005
Springer
15 years 8 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
152
Voted
RTCSA
1997
IEEE
15 years 7 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...