3931 search results - page 736 / 787 » Separation logic and abstraction |
ISCC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—This paper presents a novel scalable switching architecture for input queued switches with its proper arbitration algorithms. In contrast to traditional switching archit...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— This paper describes an EEG-based human brainactuated robotic system, which allows performing navigation and visual exploration tasks between remote places via internet...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— LDP (Locally Distributed Predicates) is a distributed, high-level language for programming modular reconfigurable robot systems (MRRs). In this paper we present the im...
XSYM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The eXtensible Markup Language (XML) provides a powerful and flexible means of encoding and exchanging data. As it turns out, its main advantage as an encoding format (n...
IVA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The challenge of making a virtual world believable includes a requirement for AI entities which autonomously react to a dynamic environment. After the breakthroughs in be...