3565 search results - page 301 / 713 » Modeling a system controller for timing analysis |
146
click to vote
NJC
2002
15 years 4 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
140
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
The central task of current profile control during the ramp-up phase of a tokamak discharge is to find the actuator trajectories that are necessary to achieve certain desired curre...
152
click to vote
ICARCV
2006
IEEE
15 years 10 months ago
2006
IEEE
: Relevance feedback in Content Based Image Retrieval(CBIR) has been an active field of research for quite some time now. Many schemes and techniques of relevance feedback exist w...
110
click to vote
EXPERT
2002
15 years 4 months ago
2002
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...
132
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper gives an overview of results of the project "Beyond Timed Automata" carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysi...