4266 search results - page 241 / 854 » A Framework for Defining Logics |
145
click to vote
ITS
2004
Springer
16 years 1 days ago
2004
Springer
How smart should we be in order to cope with the complex authoring process of smart courseware? Lately this question gains more attention with attempts to simplify the process and ...
158
click to vote
EDOC
2003
IEEE
15 years 12 months ago
2003
IEEE
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems....
167
click to vote
ICML
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper presents an approach to automatic discovery of functions in Genetic Programming. The approach is based on discovery of useful building blocks by analyzing the evolution...
146
Voted
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Combinatorial maps define a general framework which allows to encode any subdivision of an n-D orientable quasi-manifold with or without boundaries. Combinatorial pyramids are def...
175
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Assessing the similarity among 3D shapes is a challenging research topic, and effective shape descriptions have to be devised in order to support the matching process. There is a ...