887 search results - page 66 / 178 » Representing Systems with Hidden State |
134
click to vote
AAAI
1990
15 years 5 months ago
1990
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
140
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
PRL
2006
15 years 4 months ago
2006
An automatic system to estimate the urbanization changes on the Belgian territory, using SPOT5 images and the National Geographic Institute vectorial database is proposed. The ima...
162
Voted
CVPR
1998
IEEE
16 years 6 months ago
1998
IEEE
A new approach to the recognition of temporal behaviors and activities is presented. The fundamental idea, inspired by work in speech recognition, is to divide the inference probl...
132
click to vote
WISEC
2010
ACM
15 years 11 months ago
2010
ACM
Computing environments on cellphones, especially smartphones, are becoming more open and general-purpose, thus they also become attractive targets of malware. Cellphone malware no...