Sciweavers

4511 search results - page 788 / 903
» Observation Based System Security
Sort
View
ECCV
2006
Springer
15 years 1 months ago
Recursive Structure from Motion Using Hybrid Matching Constraints with Error Feedback
Abstract. We propose an algorithm for recursive estimation of structure and motion in rigid body perspective dynamic systems, based on the novel concept of continuous-differential ...
Fredrik Nyberg, Anders Heyden
ESOA
2006
15 years 1 months ago
Greedy Cheating Liars and the Fools Who Believe Them
Evolutionary algorithms based on "tags" can be adapted to induce cooperation in selfish environments such as peer-to-peer systems. In this approach, nodes periodically co...
Stefano Arteconi, David Hales, Özalp Babaoglu
CHARME
2003
Springer
120views Hardware» more  CHARME 2003»
15 years 1 months ago
A Compositional Theory of Refinement for Branching Time
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
Panagiotis Manolios
ITS
2000
Springer
116views Multimedia» more  ITS 2000»
15 years 1 months ago
An Adaptive, Collaborative Environment to Develop Good Habits in Programming
In this paper we discuss how computer supported collaborative learning (CSCL) can be deployed to develop new skills and habits in students at university level. These considerations...
Aurora Vizcaíno, Juan Contreras-Castillo, J...
RECOMB
2000
Springer
15 years 1 months ago
Using Bayesian networks to analyze expression data
DNA hybridization arrays simultaneously measure the expression level for thousands of genes. These measurements provide a "snapshot" of transcription levels within the c...
Nir Friedman, Michal Linial, Iftach Nachman, Dana ...