Sciweavers

12568 search results - page 2335 / 2514
» Selective user interaction
Sort
View
JUCS
2007
84views more  JUCS 2007»
15 years 4 months ago
Formal Representations of Learning Scenarios: A Methodology to Configure E-Learning Systems
: Nowadays, advanced E-Learning systems are generally pedagogy-aware. Commonly, these systems include facilities for defining so-called learning scenarios that reflect sophisticate...
Denis Helic
144
Voted
COMCOM
2004
84views more  COMCOM 2004»
15 years 4 months ago
A self-extracting accurate modeling for bounded-delay video services
This article proposes the XGOP-B deterministic traffic model for MPEG video services requiring strict bounds on the quality of service provided by the network. The XGOP-B model ta...
Marcelo Dias de Amorim, Otto Carlos Muniz Bandeira...
CONSTRAINTS
2004
116views more  CONSTRAINTS 2004»
15 years 4 months ago
Decision Tradeoff Using Example-Critiquing and Constraint Programming
We consider constructive preference elicitation for decision aid systems in applications such as configuration or electronic catalogs. We are particularly interested in supporting ...
Pearl Pu, Boi Faltings
AI
2000
Springer
15 years 3 months ago
Proving theorems by reuse
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
Christoph Walther, Thomas Kolbe
COMCOM
2000
89views more  COMCOM 2000»
15 years 3 months ago
Operating system support for multimedia systems
Distributed multimedia applications will be an important part of tomorrow's application mix and require appropriate operating system (OS) support. Neither hard real-time solu...
Thomas Plagemann, Vera Goebel, Pål Halvorsen...
« Prev « First page 2335 / 2514 Last » Next »