11172 search results - page 827 / 2235 » Testing Physical Systems |
194
click to vote
HICSS
2008
IEEE
16 years 2 months ago
2008
IEEE
Knowledge and knowledge sharing are an important facet of innovative activities. This paper aims to investigate knowledge creation in innovation context and presents the construct...
203
click to vote
SFM
2007
Springer
16 years 1 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
199
click to vote
TABLEAUX
2005
Springer
16 years 1 months ago
2005
Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
172
click to vote
IFL
2004
Springer
16 years 1 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
193
click to vote
ICPR
2002
IEEE
16 years 19 days ago
2002
IEEE
This paper describes a method for detecting automobiles and people in streaming or archived video. Our video object tracking system is based on Kalman filter updating of an active...