150 search results - page 6 / 30 » A Survey of Automated Timetabling |
CORR
2010
Springer
13 years 6 months ago
2010
Springer
This survey paper categorises, compares, and summarises from almost all published technical and review articles in automated fraud detection within the last 10 years. It defines t...
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
SG
2005
Springer
14 years 1 months ago
2005
Springer
Modelling, animation and rendering has dominated research computer graphics yielding increasingly rich and realistic virtual worlds. The complexity, richness and quality of the vir...
DLOG
2008
13 years 9 months ago
2008
Abstract. Revision of a Description Logic-based ontology to incorporate newly received information consistently is an important problem for the lifecycle of ontologies. Many approa...
ASWEC
2010
IEEE
13 years 7 months ago
2010
IEEE
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...