Sciweavers

2419 search results - page 160 / 484
» Modeling Spatio-temporal Network Computations: A Summary of ...
Sort
View
AI
2008
Springer
13 years 9 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar
MSWIM
2005
ACM
14 years 2 months ago
Balancing auditability and privacy in vehicular networks
We investigate how to obtain a balance between privacy and audit requirements in vehicular networks. Challenging the current trend of relying on asymmetric primitives within VANET...
Jong Youl Choi, Markus Jakobsson, Susanne Wetzel
GECCO
2008
Springer
110views Optimization» more  GECCO 2008»
13 years 10 months ago
Evolving stable behavior in a spino-neuromuscular system model
This paper demonstrates the effectiveness of genetic algorithms in training stable behavior in a model of the spinoneuromuscular system (SNMS). In particular, we test the stabili...
Stanley Phillips Gotshall, Terry Soule
MASCOTS
2001
13 years 10 months ago
Parameterized Mobile Action Generator for a Wireless PCS Network
While there are different research groups in the mobile computing community, most research requires mobile action data in terms of user calling and mobility patterns. Since collec...
Sang-Eon Park, Carla N. Purdy
EMSOFT
2010
Springer
13 years 7 months ago
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fi...