3032 search results - page 430 / 607 » Complexity of sequences and dynamical systems |
245
click to vote
ICTL
1994
15 years 9 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
125
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
155
Voted
ISCAPDCS
2007
15 years 7 months ago
2007
We address distributed real-time applications represented by systems of non-preemptive dependent periodic tasks. This system is described by an acyclic directed graph. Because the...
150
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
126
click to vote
TOG
2008
15 years 5 months ago
2008
We present an interactive system for synthesizing urban layouts by example. Our method simultaneously performs both a structurebased synthesis and an image-based synthesis to gene...