1249 search results - page 133 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
132
click to vote
ALIFE
2010
15 years 6 months ago
2010
Edgar Codd's 1968 design for a self-replicating cellular automata machine has never been implemented. Partly this is due to its enormous size but we have also identified four...
185
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
The Web contains an abundance of useful semistructured information about real world objects, and our empirical study shows that strong sequence characteristics exist for Web infor...
161
click to vote
ISMIR
2005
Springer
15 years 12 months ago
2005
Springer
Melodies provide an important conceptual summarization of polyphonic audio. The extraction of melodic content has practical applications ranging from content-based audio retrieval...
171
click to vote
ISWC
2003
IEEE
15 years 11 months ago
2003
IEEE
Context-aware computing describes the situation where a wearable / mobile computer is aware of its user’s state and surroundings and modifies its behavior based on this informat...
171
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...