Sciweavers

2097 search results - page 383 / 420
» Knowledge Base Maintenance through Knowledge Representation
Sort
View
DAM
2006
132views more  DAM 2006»
14 years 9 months ago
On the combinatorial structure of chromatic scheduling polytopes
Chromatic scheduling polytopes arise as solution sets of the bandwidth allocation problem in certain radio access networks, supplyingwirelessaccesstovoice/datacommunicationnetwork...
Javier Marenco, Annegret Wagler
ICWL
2010
Springer
14 years 7 months ago
An Open Model for Learning Path Construction
Learning path construction is a complex task. It involves formulating and organizing learning activities, defining ways to evaluate student learning progress and to match such prog...
Fan Yang, Frederick W. B. Li, Rynson W. H. Lau
GCC
2009
Springer
14 years 7 months ago
On HLA-Based Collaborative Simulation Techniques
The design and development of a complex system as well as the simulation of its dynamic behavior are usually involved in multidisciplinary field knowledge. HLA-based collaborative ...
Fan Miao Miao, Fan Yu Shun
ISSTA
2004
ACM
15 years 3 months ago
An optimizing compiler for batches of temporal logic formulas
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
James Ezick
IJCAI
2003
14 years 11 months ago
Bayesian Information Extraction Network
Dynamic Bayesian networks (DBNs) offer an elegant way to integrate various aspects of language in one model. Many existing algorithms developed for learning and inference in DBNs ...
Leonid Peshkin, Avi Pfeffer