Sciweavers

2432 search results - page 442 / 487
» High-level approach to modeling of observed system behavior
Sort
View
CN
2008
97views more  CN 2008»
15 years 6 months ago
Towards real-time dynamic spectrum auctions
In this paper, we propose a low-complexity auction framework to distribute spectrum in real-time among a large number of wireless users with dynamic traffic. Our design consists o...
Sorabh Gandhi, Chiranjeeb Buragohain, Lili Cao, Ha...
JUCS
2008
172views more  JUCS 2008»
15 years 6 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
ALIFE
2010
15 years 5 months ago
The Utility of Evolving Simulated Robot Morphology Increases with Task Complexity for Object Manipulation
Embodied artificial intelligence argues that the body and brain play equally important roles in the generation of adaptive behavior. An increasingly common approach therefore is to...
Josh Bongard
PROCEDIA
2010
103views more  PROCEDIA 2010»
15 years 26 days ago
The Deflated Relaxed Incomplete Cholesky CG method for use in a real-time ship simulator
Ship simulators are used for training purposes and therefore have to calculate realistic wave patterns around the moving ship in real time. We consider a wave model that is based ...
E. van't Wout, M. B. van Gijzen, A. Ditzel, Auke v...
MICCAI
2006
Springer
16 years 7 months ago
Spinal Crawlers: Deformable Organisms for Spinal Cord Segmentation and Analysis
Spinal cord analysis is an important problem relating to the study of various neurological diseases. We present a novel approach to spinal cord segmentation in magnetic resonance i...
Chris McIntosh, Ghassan Hamarneh