2317 search results - page 383 / 464 » Model based testing for agent systems |
ICS
2005
Tsinghua U.
15 years 3 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...
AOSD
2009
ACM
15 years 4 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...
BMVC
2010
2010
Improved Anatomical Landmark Localization in Medical Images Using Dense Matching of Graphical Models
14 years 8 months ago
We propose a method for reliably and accurately identifying anatomical landmarks in 3D CT volumes based on dense matching of parts-based graphical models. Such a system can be use...
CASCON
2001
14 years 11 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...
3DGIS
2006
Springer
15 years 3 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...