Sciweavers

478 search results - page 12 / 96
» Knowledge modeling directed by situation-specific models
Sort
View
AIED
2005
Springer
14 years 11 months ago
A Knowledge Acquisition System for Constraint-based Intelligent Tutoring Systems
Building a domain model consumes a major portion of the time and effort required for building an Intelligent Tutoring System. Past attempts at reducing the knowledge acquisition bo...
Pramuditha Suraweera, Antonija Mitrovic, Brent Mar...
SIGCOMM
2000
ACM
15 years 1 months ago
Trajectory sampling for direct traffic observation
Traffic measurement is a critical component for the control and engineering of communication networks. We argue that traffic measurement should make it possible to obtain the spati...
Nick G. Duffield, Matthias Grossglauser
ICIP
2000
IEEE
15 years 2 months ago
Model-Aided Coding: Using 3-D Scene Models in Motion-Compensated Video Coding
We show that traditional waveform-coding and 3-D modelbased coding are not competing alternatives but should be combined to support and complement each other. Both approaches are ...
Peter Eisert, Thomas Wiegand, Bernd Girod
GLOBECOM
2006
IEEE
15 years 3 months ago
Receiver Directed Adaptation of Multicode CDMA Transmission for Frequency-Selective Rayleigh Fading Channels
— Future wireless communication systems require highly efficient use of radio parameters. Adaptability to changing environment conditions and to service application requirements ...
Armelle Wautier, Lionel Husson, Jacques Antoine
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 3 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...