Sciweavers

882 search results - page 127 / 177
» Dynamic simulation for time series modeling
Sort
View
ICC
2009
IEEE
147views Communications» more  ICC 2009»
15 years 10 months ago
A Distributed Protocol for Virtual Device Composition in Mobile Ad Hoc Networks
— The dynamic composition of systems of networked appliances, or virtual devices, in MANETs, enables users to generate, on-the-fly, complex strong specific systems. Current work ...
Eric Karmouch, Amiya Nayak
CONTEXT
2005
Springer
15 years 9 months ago
Contextual Modals
In a series of recent articles Angelika Kratzer has argued that the standard account of modality along Kripkean lines is inadequate in order to represent context-dependent modals. ...
Horacio L. Arló-Costa, William Taysom
ECAL
2007
Springer
15 years 10 months ago
Measuring Entropy in Embodied Neural Agents with Homeostasic Units: A Link Between Complexity and Cybernetics
Abstract. We present a model of a recurrent neural network with homeostasic units, embodied in a minimalist articulated agent with a single link and joint. The configuration of th...
Jorge Simão
ISSTA
2009
ACM
15 years 8 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
IROS
2006
IEEE
202views Robotics» more  IROS 2006»
15 years 10 months ago
Topological characterization of mobile robot behavior
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
Aurélien Hazan, Frédéric Dave...