Sciweavers

381 search results - page 68 / 77
» Using Temporal Coherence to Build Models of Animals
Sort
View
SPIN
2005
Springer
15 years 3 months ago
Behavioural Models for Hierarchical Components
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
Tomás Barros, Ludovic Henrio, Eric Madelain...
MEMOCODE
2003
IEEE
15 years 2 months ago
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...
UIST
1993
ACM
15 years 1 months ago
VB2: An Architecture for Interaction in Synthetic Worlds
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
Enrico Gobbetti, Jean-Francis Balaguer, Daniel Tha...
BMCBI
2008
118views more  BMCBI 2008»
14 years 9 months ago
Kismeth: Analyzer of plant methylation states through bisulfite sequencing
Background: There is great interest in probing the temporal and spatial patterns of cytosine methylation states in genomes of a variety of organisms. It is hoped that this will sh...
Eyal Gruntman, Yijun Qi, R. Keith Slotkin, Ted Roe...
100
Voted
ICMCS
2009
IEEE
130views Multimedia» more  ICMCS 2009»
14 years 7 months ago
Fast multi-reference motion estimation via statistical learning for H.264/AVC
In the H.264/AVC coding standard, motion estimation (ME) is allowed to use multiple reference frames to make full use of reducing temporal redundancy in a video sequence. Although...
Chen-Kuo Chiang, Shang-Hong Lai