Sciweavers

2473 search results - page 125 / 495
» Systems, Views and Models of UML
Sort
View
FMOODS
2000
15 years 8 months ago
On a Temporal Logic for Object-Based Systems
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
SERP
2004
15 years 8 months ago
Software Specification of MERTIS: Modifiable Extensible Real-Time Interactive Simulation System
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
Frederick C. Harris Jr., Leandro Basallo, Ryan E. ...
RTDB
2001
83views more  RTDB 2001»
15 years 8 months ago
Updates and View Maintenance
A database system contains base data items which record and model a physical, real world environment. For better decision support, base data items are summarized and correlated to...
Ben Kao, Kam-yiu Lam, Brad Adelberg
UM
2007
Springer
16 years 29 days ago
Visual Attention in Open Learner Model Presentations: An Eye-Tracking Investigation
Using an eye-tracker, this paper investigates the information that learners visually attend to in their open learner model, and the degree to which this is related to the method of...
Susan Bull, Neil Cooke, Andrew Mabbott
EVENT
2001
267views more  EVENT 2001»
15 years 8 months ago
View-Invariant Representation and Learning of Human Action
Automatically understanding human actions from video sequences is a very challenging problem. This involves the extraction of relevant visual information from a video sequence, re...
Cen Rao, Mubarak Shah