Sciweavers

1838 search results - page 199 / 368
» Process modelling: the deontic way
Sort
View
DNA
2007
Springer
107views Bioinformatics» more  DNA 2007»
16 years 20 days ago
Solutions to Computational Problems Through Gene Assembly
Abstract. Gene assembly in ciliates is an impressive computational process. Ciliates have a unique way of storing their genetic information in two fundamentally different forms wi...
Artiom Alhazov, Ion Petre, Vladimir Rogojin
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 12 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
PAAPP
2007
115views more  PAAPP 2007»
15 years 6 months ago
Quantum computing: beyond the limits of conventional computation
The quantum model of computation not only o ers entirely new ways to manipulate information, but also allows information processing tasks to be formulated in unconventional, genui...
Marius Nagy, Selim G. Akl
ICDE
1995
IEEE
99views Database» more  ICDE 1995»
16 years 7 months ago
Record Subtyping in Flexible Relations by Means of Attribute Dependencies
The model of flexible relations supports heterogeneous sets of tuples in a strongly typed way. The elegance of the standard relational model is preserved by using a single, generi...
Christian Kalus, Peter Dadam
CVPR
2010
IEEE
16 years 2 months ago
What's going on? Discovering Spatio-Temporal Dependencies in Dynamic Scenes
We present two novel methods to automatically learn spatio-temporal dependencies of moving agents in complex dynamic scenes. They allow to discover temporal rules, such as the rig...
Daniel Kuettel, Michael Breitenstein, Luc Van Gool...