Sciweavers

1022 search results - page 81 / 205
» Specification of Dynamics for Knowledge-Based Systems
Sort
View
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
14 years 23 days ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
ICWE
2004
Springer
14 years 2 months ago
Authoring and Dynamic Generation of Adaptive E-courses
Abstract. Adaptive hypermedia constitutes a pretty rich resource for developing web-based courses. With the aim of dynamically generating adaptive ecourses, we have developed the T...
Rosa M. Carro, Manuel Freire, Estefanía Mar...
DAC
2004
ACM
14 years 10 months ago
Dynamic FPGA routing for just-in-time FPGA compilation
Just-in-time (JIT) compilation has previously been used in many applications to enable standard software binaries to execute on different underlying processor architectures. Howev...
Roman L. Lysecky, Frank Vahid, Sheldon X.-D. Tan
BMCBI
2010
183views more  BMCBI 2010»
13 years 6 months ago
The complexity of gene expression dynamics revealed by permutation entropy
Background: High complexity is considered a hallmark of living systems. Here we investigate the complexity of temporal gene expression patterns using the concept of Permutation En...
Xiaoliang Sun, Yong Zou, Victoria J. Nikiforova, J...
ICPR
2004
IEEE
14 years 10 months ago
Synchronization and Calibration of Camera Networks from Silhouettes
We propose an automatic approach to synchronize a network of uncalibrated and unsynchronized video cameras, and recover the complete calibration of all these cameras. In this pape...
Sudipta N. Sinha, Marc Pollefeys