696 search results - page 112 / 140 » Explaining abstract counterexamples |
130
click to vote
ENTCS
2008
15 years 2 months ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
116
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract--We investigate knowledge exchange among commercial organizations, the rationale behind it, and its effects on the market. Knowledge exchange is known to be beneficial for...
127
click to vote
CSUR
2006
15 years 2 months ago
2006
resents a perspective on existing NoC research. We define the following abstractions: system, network adapter, network, and link to explain and structure the fundamental concepts. ...
137
Voted
CVIU
2006
15 years 2 months ago
2006
In this paper we develop a system for human behaviour recognition in video sequences. Human behaviour is modelled as a stochastic sequence of actions. Actions are described by a f...
124
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Discrete temporal transitions occur in a variety of domains, but this work is mainly motivated by applications in molecular biology: explaining and analyzing observed transcriptome...