1981 search results - page 328 / 397 » Model-Checking Hierarchical Structures |
MTSR
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we identify the requirements for creating formal descriptions of learning scenarios designed under the European Higher Education Area paradigm, using competences and ...
VLSI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
BIBE
2006
IEEE
14 years 2 months ago
2006
IEEE
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...
ICAT
2006
IEEE
14 years 2 months ago
2006
IEEE
Interactive virtual characters are nowadays commonplace in games, animations, and Virtual Reality (VR) applications. However, relatively few work has so far considered the animatio...
ICDM
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a method for finding biologically meaningful patterns on metabolic pathways using the SUBDUE graph-based relational learning system. A huge amount of biological data t...