20126 search results - page 180 / 4026 » Timed Transition Systems |
161
click to vote
ICDE
2007
IEEE
16 years 26 days ago
2007
IEEE
Database workloads seldom remain static. A system tuned by an expert for the current environment, might not always remain optimal. To deal with this situation, database systems ha...
158
click to vote
ICON
2007
IEEE
16 years 26 days ago
2007
IEEE
—Inter-domain routing is suffering from the lack of identifiers for the rapidly growing number of Autonomous Systems (AS), and therefore the 4-byte AS number has been proposed a...
159
click to vote
COMPSAC
2006
IEEE
16 years 18 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
182
click to vote
ICMCS
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper proposes a new approach for the human motion analysis. The main contribution comes from the proposed representation of the human body. Most of already existing systems ...
185
click to vote
MICAI
2005
Springer
16 years 1 days ago
2005
Springer
We propose a novel, high-level model of human learning and cognition, based on association forming. The model configures any input data stream featuring a high incidence of repeti...