Sciweavers

7103 search results - page 1135 / 1421
» Program Generation and Components
Sort
View
118
Voted
ENTCS
2010
127views more  ENTCS 2010»
15 years 3 months ago
Combining Model Reductions
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...
Ferdinanda Camporesi, Jérôme Feret, H...
AIEDU
2006
77views more  AIEDU 2006»
15 years 3 months ago
Constraint-based Modeling and Ambiguity
Constraint-based modeling has been used in many application areas of Intelligent Tutoring Systems as a powerful means to analyse erroneous student solutions and generate helpful fe...
Wolfgang Menzel
AIL
2006
130views more  AIL 2006»
15 years 3 months ago
Extractive summarisation of legal texts
We describe research carried out as part of a text summarisation project for the legal domain for which we use a new XML corpus of judgments of the UK House of Lords. These judgmen...
Ben Hachey, Claire Grover
CVIU
2006
209views more  CVIU 2006»
15 years 3 months ago
Joint optical flow estimation, segmentation, and 3D interpretation with level sets
This paper describes a variational method with active curve evolution and level sets for the estimation, segmentation, and 3D interpretation of optical flow generated by independe...
Hicham Sekkati, Amar Mitiche
GPEM
2006
80views more  GPEM 2006»
15 years 3 months ago
Unbounded evolutionary dynamics in a system of agents that actively process and transform their environment
Abstract. Bedau et al.'s statistical classification system for long-term evolutionary dynamics provides a test for open-ended evolution. Making this test more rigorous, and pa...
Alastair Channon
« Prev « First page 1135 / 1421 Last » Next »