11436 search results - page 349 / 2288 » Modeling Real Reasoning |
134
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
140
click to vote
MSWIM
2009
ACM
15 years 11 months ago
2009
ACM
In recent years, the number of sensor network deployments for real-life applications has rapidly increased and it is expected to expand even more in the near future. Actually, for...
146
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
168
click to vote
RTSS
2007
IEEE
15 years 10 months ago
2007
IEEE
It is challenging to process transactions in a timely fashion using fresh data, e.g., current stock prices, since database workloads may considerably vary due to dynamic data/reso...
176
click to vote
ICIAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Background updating is an important aspect of dynamic scene analysis. Two critical problems: sudden camera perturbation and the sleeping person problem, which arise frequ...