11436 search results - page 91 / 2288 » Modeling Real Reasoning |
116
click to vote
ICSEA
2006
IEEE
15 years 8 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
159
Voted
FTRTFT
1992
Springer
15 years 6 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
112
Voted
AMI
2009
Springer
15 years 9 months ago
2009
Springer
This paper reports on a novel recurrent fuzzy classification method for robust detection of context activities in an environment using either single or distributed sensors. It als...
147
click to vote
IJCV
2012
13 years 5 months ago
2012
Abstract This paper presents a method for detecting a textured deformed surface in an image. It uses (wide-baseline) point matches between a template and the input image. The main ...
140
Voted
CADE
2005
Springer
16 years 2 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...