Sciweavers

506 search results - page 23 / 102
» A Model of Knower-Level Behavior in Number Concept Developme...
Sort
View
147
Voted
CSL
2000
Springer
15 years 8 months ago
Interactive Programs in Dependent Type Theory
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
Peter Hancock, Anton Setzer
DSRT
2009
IEEE
15 years 7 months ago
Statemachine Matching in BOM Based Model Composition
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Far...
148
Voted
ICMI
2004
Springer
235views Biometrics» more  ICMI 2004»
15 years 9 months ago
Multimodal detection of human interaction events in a nursing home environment
In this paper, we propose a multimodal system for detecting human activity and interaction patterns in a nursing home. Activities of groups of people are firstly treated as intera...
Datong Chen, Robert Malkin, Jie Yang
140
Voted
ITIIS
2010
192views more  ITIIS 2010»
15 years 2 months ago
Large-Scale Integrated Network System Simulation with DEVS-Suite
Formidable growth of Internet technologies has revealed challenging issues about its scale and performance evaluation. Modeling and simulation play a central role in the evaluatio...
Ahmet Zengin
156
Voted
RE
2006
Springer
15 years 3 months ago
Interaction Analysis in Aspect-Oriented Models
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
Katharina Mehner, Mattia Monga, Gabriele Taentzer