5200 search results - page 677 / 1040 » Symbolic models for control systems |
200
click to vote
NN
2006
Springer
15 years 7 months ago
2006
Springer
The existence of multiple parallel loops connecting sensorimotor systems to the basal ganglia has given rise to proposals that these nuclei serve as a selection mechanism resolvin...
201
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
The rapid growth of Internet usage has enabled many new online communities to develop. A particularly interesting phenomenon that has arisen through Internet communities is the vi...
186
click to vote
SOCO
2005
Springer
16 years 1 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
246
click to vote
WIDM
2004
ACM
16 years 1 months ago
2004
ACM
A Focused crawler must use information gleaned from previously crawled page sequences to estimate the relevance of a newly seen URL. Therefore, good performance depends on powerfu...
201
click to vote
FOSSACS
2008
Springer
15 years 9 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...