375 search results - page 21 / 75 » Declarative Reasoning about the Structure of Object-Oriented... |
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
FMSD
2006
13 years 7 months ago
2006
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
ICDAR
1997
IEEE
13 years 12 months ago
1997
IEEE
The performance of document analysis systems significantly depends on knowledge about the application domain that can be exploited in the analysis process. Typically, one has to d...
ENTCS
2007
13 years 7 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
KBSE
1999
IEEE
13 years 12 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...