Sciweavers

5336 search results - page 68 / 1068
» Steerable part models
Sort
View
FM
2001
Springer
99views Formal Methods» more  FM 2001»
14 years 10 days ago
Transacted Memory for Smart Cards
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
Pieter H. Hartel, Michael J. Butler, Eduard de Jon...
EWSPT
2000
Springer
13 years 11 months ago
Support for Mobile Software Processes in CAGIS
This paper describes a prototype for supporting distributed, mobile software processes. The prototype allows instantiated process models to be distributed in different workspaces, ...
Alf Inge Wang
BMCBI
2007
129views more  BMCBI 2007»
13 years 7 months ago
Inferring cellular networks - a review
In this review we give an overview of computational and statistical methods to reconstruct cellular networks. Although this area of research is vast and fast developing, we show t...
Florian Markowetz, Rainer Spang
DAGM
2009
Springer
14 years 2 months ago
Multi-view Object Detection Based on Spatial Consistency in a Low Dimensional Space
This paper describes a new approach for detecting objects based on measuring the spatial consistency between different parts of an object. These parts are pre-defined on a set of...
Gurman Gill, Martin Levine
ECMDAFA
2006
Springer
91views Hardware» more  ECMDAFA 2006»
13 years 11 months ago
Using a Model Merging Language for Reconciling Model Versions
A difficult challenge in the industrialisation of Model-Driven Development is managing different versions of models. Different versions may arise at any time during the development...
Klaus-D. Engel, Richard F. Paige, Dimitrios S. Kol...