1992 search results - page 329 / 399 » Model Based Testing with Labelled Transition Systems |
132
Voted
ISMB
1998
15 years 3 months ago
1998
A novel method to model and predict the location and orientation of alpha helices in membrane- spanning proteins is presented. It is based on a hidden Markov model (HMM) with an a...
113
Voted
ICS
2005
Tsinghua U.
15 years 8 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
135
click to vote
AOSD
2009
ACM
15 years 9 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
107
Voted
3DGIS
2006
Springer
15 years 8 months ago
2006
Springer
The objective of this work is to define procedures to improve spatial resolution of SRTM data and to evaluate their applicability in the Serra Negra region, in the district of Pat...
128
Voted
CASCON
2001
15 years 4 months ago
2001
On Line Analytical Processing (OLAP) aims at gaining useful information quickly from large amounts of data residing in a data warehouse. To improve the quickness of response to qu...