Sciweavers

18429 search results - page 32 / 3686
» Typing dynamic typing
Sort
View
BPM
2004
Springer
95views Business» more  BPM 2004»
14 years 1 months ago
On Dealing with Structural Conflicts between Process Type and Instance Changes
Abstract. Adaptive process management systems must be able to support changes of single process instances as well as modifications at the process type level and their propagation t...
Stefanie Rinderle, Manfred Reichert, Peter Dadam
ECCV
2006
Springer
14 years 1 months ago
Direct Segmentation of Multiple 2-D Motion Models of Different Types
We propose a closed form solution for segmenting mixtures of 2-D translational and 2-D affine motion models directly from the image intensities. Our approach exploits the fact that...
Dheeraj Singaraju, René Vidal
SCP
2008
144views more  SCP 2008»
13 years 10 months ago
Implicit ownership types for memory management
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
Tian Zhao, Jason Baker, James Hunt, James Noble, J...
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
14 years 4 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
CHI
2009
ACM
14 years 10 months ago
TypeRight: a keyboard with tactile error prevention
TYPERIGHT is a new tactile input device for text entry. It combines the advantages of tactile feedback with error prevention methods of word processors. TYPERIGHT extends the stan...
Alexander Hoffmann, Daniel Spelmezan, Jan O. Borch...