Sciweavers

204 search results - page 28 / 41
» Test Derivation from Timed Automata
Sort
View
SCOPES
2004
Springer
14 years 1 months ago
An Integer Linear Programming Approach to Classify the Communication in Process Networks
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...
Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere
ANOR
2008
69views more  ANOR 2008»
13 years 8 months ago
Scheduling vessels and container-yard operations with conflicting objectives
Abstract We consider the problem of coordinating the operations of two supply chain partners: a foreign shipping company and a domestic port. The two partners have conflicting busi...
Endre Boros, Lei Lei, Yao Zhao, Hua Zhong
BMCBI
2008
88views more  BMCBI 2008»
13 years 8 months ago
Large-scale identification of polymorphic microsatellites using an in silico approach
Background: Simple Sequence Repeat (SSR) or microsatellite markers are valuable for genetic research. Experimental methods to develop SSR markers are laborious, time consuming and...
Jifeng Tang, Samantha J. Baldwin, Jeanne M. E. Jac...
FGR
2004
IEEE
149views Biometrics» more  FGR 2004»
14 years 6 days ago
Authentic Facial Expression Analysis
It is argued that for the computer to be able to interact with humans, it needs to have the communication skills of humans. One of these skills is the ability to understand the em...
Nicu Sebe, Michael S. Lew, Ira Cohen, Yafei Sun, T...
ACCV
2010
Springer
13 years 3 months ago
Colour Dynamic Photometric Stereo for Textured Surfaces
Abstract. In this paper we present a novel method to apply photometric stereo on textured dynamic surfaces. We aim at exploiting the high accuracy of photometric stereo and reconst...
Zsolt Jankó, Amaël Delaunoy, Emmanuel ...