Sciweavers

4581 search results - page 257 / 917
» Computing Transformation Semigroups
Sort
View
ACSC
2004
IEEE
15 years 10 months ago
Formalization of UML Statechart Models Using Concurrent Regular Expressions
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
S. Jansamak, A. Surarerks
CC
2004
Springer
134views System Software» more  CC 2004»
15 years 10 months ago
Widening Integer Arithmetic
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...
Kevin Redwine, Norman Ramsey
EDOC
2004
IEEE
15 years 10 months ago
Write Once, Deploy N: A Performance Oriented MDA Case Study
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
Pieter Van Gorp, Dirk Janssens, Tracy Gardner
BMVC
2002
15 years 9 months ago
Image Fusion Using Complex Wavelets
The fusion of images is the process of combining two or more images into a single image retaining important features from each. Fusion is an important technique within many dispar...
Paul R. Hill, Cedric Nishan Canagarajah, David R. ...
BMVC
2001
15 years 9 months ago
Human Shape Estimation in a Multi-Camera Studio
This paper addresses the problem of estimating the shape of an actor in a multi-camera studio for arbitrarily positioned cameras and arbitrary human pose. We adopt a seamless arti...
Jonathan Starck, Adrian Hilton, John Illingworth