Sciweavers

10715 search results - page 2071 / 2143
» Proofs from Tests
Sort
View
ISCAPDCS
2004
13 years 9 months ago
Fractal Computation in Step with Real-Time Dance
This paper describes a collaboration among computer scientists, dancers, and musicians on a production entitled "Fibonacci and Phi." Thematically, the production explore...
Jennifer J. Burg, Tim Miller
DICTA
2003
13 years 9 months ago
Background Modeling and Subtraction Using a Local-linear-dependence-based Cauchy Statistical Model
:Many motion object detection algorithms rely on the process of background subtraction, an important technique which is used for detecting changes from a model of the background ...
Ying Ming, Jingjue Jiang, Jun Ming
IJCAI
2001
13 years 9 months ago
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search
Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...
Alan M. Frisch, Timothy J. Peugniez
LWA
2004
13 years 9 months ago
An Assessment Framework for eLearning in the Semantic Web
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
Lilia Cheniti-Belcadhi, Nicola Henze, Rafik Braham
EON
2003
13 years 9 months ago
An Ontology-Driven Application to Improve the Prescription of Educational Resources to Parents of Premature Infants
CST’s Baby CareLink provides a ‘collaborative healthware’ environment for parents of premature infants that incorporates just-in-time learning as one means of knowledge explo...
Howard Goldberg, Alfredo Morales, David MacMillan,...
« Prev « First page 2071 / 2143 Last » Next »