5639 search results - page 349 / 1128 » Timed Abstract Non-interference |
137
click to vote
ITS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
119
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract—In this paper we analyze the M/G/1 processor sharing queue with heavy tailed services and with impatient customers. It is assumed that impatience depends on the value of...
138
click to vote
EVOW
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Many evolutionary algorithm applications involve either fitness functions with high time complexity or large dimensionality (hence very many fitness evaluations will typi...
130
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Feedback control laws are predominantly implemented on digital platforms as periodic tasks. Although periodicity simplifies the analysis and design of the implementati...
134
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In constraint networks, the efficiency of a search algorithm is strongly related to the local consistency maintained during search. For a long time, it has been consider...