Sciweavers

4074 search results - page 698 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
FMCAD
2000
Springer
15 years 1 months ago
Monitor-Based Formal Specification of PCI
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
Kanna Shimizu, David L. Dill, Alan J. Hu
JFR
2008
148views more  JFR 2008»
14 years 9 months ago
Terrain-based vehicle orientation estimation combining vision and inertial measurements
A novel method for estimating vehicle roll, pitch and yaw using machine vision and inertial sensors is presented that is based on matching images captured from an on-vehicle camer...
Vishisht Gupta, Sean Brennan
TMI
2002
113views more  TMI 2002»
14 years 9 months ago
Spatiotemporal reconstruction of list mode PET data
We describe a method for computing a continuous time estimate of tracer density using list-mode positron emission tomography data. The rate function in each voxel is modeled as an ...
Thomas E. Nichols, Jinyi Qi, Evren Asma, Richard M...
EUROCAST
2003
Springer
154views Hardware» more  EUROCAST 2003»
15 years 3 months ago
Personalized Guided Routes in an Adaptive Evolutionary Hypermedia System
In this paper we describe an adaptation method for adaptive hypermedia systems, consisting in personalized guided routes for the SEM-HP model. SEM-HP is a layered, systemic, semant...
Nuria Medina-Medina, Fernando Molina-Ortiz, Lina G...
AIED
2009
Springer
14 years 7 months ago
Investigating the Effects of Social Goals in a Negotiation Game with Virtual Humans
Educational games may be particularly suited to teaching social learning skills with virtual humans. We investigate the importance of social goals and engaging social interactions ...
Amy Ogan, Vincent Aleven, Christopher Jones