Sciweavers

4965 search results - page 264 / 993
» A Simple Abstraction for Data Modeling
Sort
View
VTC
2007
IEEE
16 years 27 days ago
Including Diffuse Multipath Parameters in MIMO Channel Models
Abstract— Recent findings suggest to split the impulse response of the radio channel into discrete paths and the “diffuse multipath” (DMP). This diffuse part can be describe...
Nicolai Czink, Andreas Richter, Ernst Bonek, Jukka...
APN
2005
Springer
16 years 5 days ago
Modeling Dynamic Architectures Using Nets-Within-Nets
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
Lawrence Cabac, Michael Duvigneau, Daniel Moldt, H...
SPIN
2004
Springer
15 years 12 months ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp
AROBOTS
1999
87views more  AROBOTS 1999»
15 years 6 months ago
Dynamics of a Classical Conditioning Model
Abstract. Classical conditioning is a basic learning mechanism in animals and can be found in almost all organisms. If we want to construct robots with abilities matching those of ...
Christian Balkenius
HUC
2007
Springer
16 years 23 days ago
A Statistical Reasoning System for Medication Prompting
We describe our experience building and using a reasoning system for providing context-based prompts to elders to take their medication. We describe the process of specification, ...
Sengul Vurgun, Matthai Philipose, Misha Pavel