Sciweavers

1865 search results - page 40 / 373
» A Rule-Based, Integrated Modelling Approach for Object-Orien...
Sort
View
ENTCS
2006
154views more  ENTCS 2006»
14 years 9 months ago
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
Pascal Sotin, David Cachera, Thomas P. Jensen
AAAI
2010
14 years 11 months ago
An Integrated Systems Approach to Explanation-Based Conceptual Change
Understanding conceptual change is an important problem in modeling human cognition and in making integrated AI systems that can learn autonomously. This paper describes a model o...
Scott Friedman, Kenneth D. Forbus
CORR
2012
Springer
230views Education» more  CORR 2012»
13 years 5 months ago
RT-SLAM: A Generic and Real-Time Visual SLAM Implementation
Abstract. This article presents a new open-source C++ implementation to solve the SLAM problem, which is focused on genericity, versatility and high execution speed. It is based on...
Cyril Roussillon, Aurélien Gonzalez, Joan S...
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
15 years 3 months ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe
HCI
2007
14 years 11 months ago
Towards an Integrated Approach for Task Modeling and Human Behavior Recognition
Abstract. Mobile and ubiquitous systems require task models for addressing the challenges of adaptivity and situation-aware assistance. Today, both challenges are seen as separate ...
Martin Giersich, Peter Forbrig, Georg Fuchs, Thoma...