Sciweavers

1140 search results - page 175 / 228
» human 2003
Sort
View
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 28 days ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
105
Voted
RECOMB
2003
Springer
16 years 26 days ago
Transforming men into mice: the Nadeau-Taylor chromosomal breakage model revisited
Although analysis of genome rearrangements was pioneered by Dobzhansky and Sturtevant 65 years ago, we still know very little about the rearrangement events that produced the exis...
Pavel A. Pevzner, Glenn Tesler
RECOMB
2003
Springer
16 years 26 days ago
Maximum entropy modeling of short sequence motifs with applications to RNA splicing signals
We propose a framework for modeling sequence motifs based on the maximum entropy principle (MEP). We recommend approximating short sequence motif distributions with the maximum en...
Gene W. Yeo, Christopher B. Burge
SIGMOD
2003
ACM
121views Database» more  SIGMOD 2003»
16 years 21 days ago
An environmental sensor network to determine drinking water quality and security
Finding patterns in large, real, spatio/temporal data continues to attract high interest (e.g., sales of products over space and time, patterns in mobile phone users; sensor netwo...
Anastassia Ailamaki, Christos Faloutsos, Paul S. F...
115
Voted
ICIAP
2003
ACM
16 years 20 days ago
Multiscale Fourier descriptor for shape classification
The description of the object shape is an important characteristic of the image. In image processing and pattern recognition, several different shape descriptors are used. In huma...
Iivari Kunttu, Leena Lepistö, Juhani Rauhamaa...