7961 search results - page 585 / 1593 » Input-Output Model Programs |
171
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Despite the growing popularity of user modeling servers, little attention has been paid to optimizing and evaluating the performance of these servers. We argue that implementation ...
190
click to vote
WRAC
2005
Springer
16 years 28 days ago
2005
Springer
A classic autonomous robot is an autonomous agent for open, unpredictable environments. Such an agent is inherently autonomous but not independent. Independence implies unpredictab...
180
click to vote
ICALP
2004
Springer
16 years 25 days ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
233
Voted
ECBS
2004
IEEE
15 years 11 months ago
2004
IEEE
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
183
click to vote
TCBB
2010
15 years 5 months ago
2010
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...