13140 search results - page 270 / 2628 » Coupling Component Systems towards Systems of Systems |
165
click to vote
TPHOL
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
185
click to vote
DEXA
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we describe an application based on a general approach towards modelling practical reasoning through defeasible argumentation. The purpose of the paper is to show how...
180
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We present a novel approach for multi-object tracking which considers object detection and spacetime trajectory estimation as a coupled optimization problem. It is formulated in a...
174
click to vote
CGO
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we describe a novel execution environment for Java programs that substantially improves execution performance by incorporating both on-line and off-line profile inf...
184
click to vote
IJACTAICIT
2010
15 years 1 months ago
2010
This paper describes an adaptive noise cancellation structure suitable for the separation and equalization of signals that coupled due to the approximate placing of primary and au...