Sciweavers

490 search results - page 80 / 98
» Data generation using declarative constraints
Sort
View
ICTAI
2007
IEEE
14 years 1 months ago
Knowledge Based Mechanisms for Tutoring Systems in Science and Engineering
In science and engineering courses, students are often presented a situation for which they are asked to identify the relevant principles and to instantiate them as a set of equat...
Chun Wai Liew, Joel A. Shapiro, Donald E. Smith
ADAPTIVE
2007
Springer
14 years 1 months ago
Semantic Web Technologies for the Adaptive Web
Ontologies and reasoning are the key terms brought into focus by the semantic web community. Formal representation of ontologies in a common data model on the web can be taken as a...
Peter Dolog, Wolfgang Nejdl
GECCO
2007
Springer
183views Optimization» more  GECCO 2007»
14 years 1 months ago
Search-based testing of service level agreements
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...
Massimiliano Di Penta, Gerardo Canfora, Gianpiero ...
FLAIRS
2004
13 years 9 months ago
Concurrent Backtrack Search on DisCSPs
A distributed search algorithm for solving distributed constraint satisfaction problems (DisCSPs) is presented. The proposed algorithm is composed of multiple search processes (SP...
Roie Zivan, Amnon Meisels
CVPR
2012
IEEE
11 years 10 months ago
Unsupervised learning of translation invariant occlusive components
We study unsupervised learning of occluding objects in images of visual scenes. The derived learning algorithm is based on a probabilistic generative model which parameterizes obj...
Zhenwen Dai, Jörg Lücke