Sciweavers

1420 search results - page 198 / 284
» A Framework for Scheduler Synthesis
Sort
View
IJCAI
1993
15 years 7 months ago
Nonmonotonic Model Inference-A Formalization of Student Modeling
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
Mitsuru Ikeda, Yasuyuki Kono, Riichiro Mizoguchi
ATAL
2010
Springer
15 years 7 months ago
Using geometric diffusions for recognition-primed multi-agent decision making
Several areas of multi-agent research, such as large-scale agent organization and experience-based decision making, demand novel perspectives and efficient approaches for multisca...
Xiaocong Fan, Meng Su
163
Voted
CVPR
2010
IEEE
15 years 6 months ago
Deconvolutional networks
Building robust low and mid-level image representations, beyond edge primitives, is a long-standing goal in vision. Many existing feature detectors spatially pool edge information...
Matthew D. Zeiler, Dilip Krishnan, Graham W. Taylo...
TCS
2008
15 years 6 months ago
Temporal constraints in the logical analysis of regulatory networks
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
Heike Siebert, Alexander Bockmayr
CG
2004
Springer
15 years 6 months ago
Illumination-dependent texture
In this paper, we propose an image-based texture model called IlluminationDependent Texture(IDT), for realisticly rendering objects covered with 3D texture under low-frequency ill...
Chunhui Mei, Fuli Wu, Jiaoying Shi