2421 search results - page 182 / 485 » Integrity Assurance Technique Using Determinant Approach |
109
Voted
EJWCN
2010
14 years 10 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
122
Voted
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a higher-order approach to the extraction of isosurfaces from unstructured meshes. Existing methods use linear interpolation along each mesh edge to find isosurface in...
138
click to vote
ISSS
1999
IEEE
15 years 7 months ago
1999
IEEE
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...
141
Voted
SEMCO
2009
IEEE
15 years 10 months ago
2009
IEEE
—Techniques for automatic annotation of spoken content making use of speech recognition technology have long been characterized as holding unrealized promise to provide access to...
120
Voted
DOLAP
2000
ACM
15 years 8 months ago
2000
ACM
Analyzing data obtained from web server logs, so-called “clickstreams”, is rapidly becoming one of the most important activities for companies in any sector as most businesses...