Sciweavers

103 search results - page 7 / 21
» A New Look at the Semantics and Optimization Methods of CP-N...
Sort
View
LICS
2010
IEEE
13 years 6 months ago
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
Vincent Danos, Jérôme Feret, Walter F...
GECCO
2007
Springer
177views Optimization» more  GECCO 2007»
14 years 1 months ago
On the behavioral diversity of random programs
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
Moshe Looks
MM
2004
ACM
124views Multimedia» more  MM 2004»
14 years 1 months ago
An online-optimized incremental learning framework for video semantic classification
This paper considers the problems of feature variation and concept uncertainty in typical learning-based video semantic classification schemes. We proposed a new online semantic c...
Jun Wu, Xian-Sheng Hua, HongJiang Zhang, Bo Zhang
PERCOM
2009
ACM
14 years 2 months ago
Tracking and Annotation in Skills-Based Learning Environments
This paper outlines a series of experiments looking at the annotation and subsequent analysis of skills-based learning and teaching in the domain of Nursing. The experiments used ...
Mark J. Weal, Danius T. Michaelides, Kevin R. Page...
SIGMOD
2003
ACM
147views Database» more  SIGMOD 2003»
14 years 7 months ago
Formal semantics and analysis of object queries
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
Gavin M. Bierman