25175 search results - page 129 / 5035 » MPEG-4 systems and applications |
170
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...
146
click to vote
AAAI
1997
15 years 8 months ago
1997
Often a rule-based system is tested by checking its performance on a number of test cases with known solutions, modifying the system until it gives the correct results for all or ...
161
click to vote
JACIII
2006
15 years 6 months ago
2006
om which abstract features are extracted with image processing. The output of the system is the state of printing pressure, which is divided into 3 states: EXCESSIVE PRESSURE (EP),...
169
click to vote
AAI
2010
15 years 1 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
176
click to vote
AGI
2011
14 years 10 months ago
2011
Intelligence is a multidimensional problem of which physical reasoning and physical knowledge are important dimensions. However, there are few resources of physical knowledge that ...