9018 search results - page 1101 / 1804 » 3D-Brain Model Software |
226
click to vote
STTT
2010
15 years 2 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
313
click to vote
ANCS
2011
ACM
14 years 7 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...
191
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
To create a robot with a mind of its own, we extended a formalized version of a model that explains affect-driven interaction with mechanisms for goaldirected behavior. We ran sim...
176
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe the e-LD approach for the design and repurposing of Units of Learning (UoLs). This approach is centered in domain-specific Educational Modeling Languages...
191
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
The Real-time Specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps ...