Sciweavers

2763 search results - page 352 / 553
» The Dangerous 'All' in Specifications
Sort
View
TCAD
2002
146views more  TCAD 2002»
15 years 6 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
TMI
2002
90views more  TMI 2002»
15 years 6 months ago
Edge Displacement Field-Based Classification for Improved Detection of Polyps in CT Colonography
Colorectal cancer can easily be prevented provided that the precursors to tumors, small colonic polyps, are detected and removed. Currently, the only definitive examination of the ...
Burak Acar, Christopher F. Beaulieu, Salih Burak G...
TSMC
2002
137views more  TSMC 2002»
15 years 6 months ago
An evolutionary tabu search for cell image segmentation
Many problems in practically all fields of science, engineering and technology involve global optimization. It becomes more and more important to develop the efficient global opti...
Tianzi Jiang, Faguo Yang
VLDB
2002
ACM
74views Database» more  VLDB 2002»
15 years 6 months ago
Provisions and Obligations in Policy Management and Security Applications
Policies are widely used in many systems and applications. Recently, it has been recognized that a "yes/no" response to every scenario is just not enough for many modern...
Claudio Bettini, Sushil Jajodia, Xiaoyang Sean Wan...
VLDB
2002
ACM
106views Database» more  VLDB 2002»
15 years 6 months ago
Structure and Value Synopses for XML Data Graphs
All existing proposals for querying XML (e.g., XQuery) rely on a pattern-specification language that allows (1) path navigation and branching through the label structure of the XM...
Neoklis Polyzotis, Minos N. Garofalakis