4166 search results - page 532 / 834 » Automating the constraining process |
152
click to vote
ICALT
2008
IEEE
15 years 11 months ago
2008
IEEE
As a part of many e-learning initiatives, a set of learning units must be arranged in a particular order to meet the learners’ requirements. This process is known as sequencing ...
154
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In vivo observation of cells in the Arabidopsis thaliana root, by time-lapse confocal microscopy, is central to biology research. The research herein described is based on large a...
104
click to vote
ICTAI
2008
IEEE
15 years 11 months ago
2008
IEEE
Analyzing spend transactions is essential to organizations for understanding their global procurement. Central to this analysis is the automated classification of these transacti...
116
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...
131
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...