Sciweavers

5352 search results - page 917 / 1071
» Modeling the socio-cultural context
Sort
View
JAIR
2006
101views more  JAIR 2006»
15 years 6 months ago
Resource Allocation Among Agents with MDP-Induced Preferences
Allocating scarce resources among agents to maximize global utility is, in general, computationally challenging. We focus on problems where resources enable agents to execute acti...
Dmitri A. Dolgov, Edmund H. Durfee
JALC
2006
87views more  JALC 2006»
15 years 6 months ago
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
Maurice H. ter Beek, Gabriele Lenzini, Marinella P...
JSAC
2008
112views more  JSAC 2008»
15 years 6 months ago
System Design Considerations for Undersea Networks: Link and Multiple Access Protocols
Abstract--We address several inter-related aspects of underwater network design within the context of a cross-layer approach. We first highlight the impact of key characteristics o...
Nathan Parrish, Leonard T. Tracy, Sumit Roy, Payma...
JSW
2008
95views more  JSW 2008»
15 years 6 months ago
From Sensors to Assisted Driving - Bridging the Gap
Increasing traffic density enforces development of Advanced Driver Assistance Systems to cope with safety aspects. Such systems require serious amount of sensor data to deduce spat...
Marcus Tönnis, Jan-Gregor Fischer, Gudrun Kli...
JUCS
2008
148views more  JUCS 2008»
15 years 6 months ago
SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving
: In this article we present the development of a web application called SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving. The pedagogical basis ...
Ana Belén Gil, Raquel Rodríguez, Fra...