7340 search results - page 418 / 1468 » The Behavior of Tutoring Systems |
173
click to vote
JLP
2006
15 years 6 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
181
click to vote
SIAMCO
2008
15 years 6 months ago
2008
In this paper we address stabilization of a network of underactuated mechanical systems with unstable dynamics. The coordinating control law stabilizes the unstable dynamics with ...
147
click to vote
ANOR
2005
15 years 6 months ago
2005
Recent developments in integer-programming software systems have tremendously improved our ability to solve large-scale instances. We review the major algorithmic components of sta...
179
click to vote
COMCOM
2004
15 years 6 months ago
2004
This paper presents a simulation study on complex On-Line Transaction Processing systems using TPC-C workload. The impacts on the response time of Inter-Connection Network (ICN) i...
186
Voted
PPSN
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we use the exact model (or dynamical system approach) to describe the standard evolutionary algorithm (EA) as a discrete dynamical system for dynamic optimization pr...