Sciweavers

8917 search results - page 1225 / 1784
» Abstraction in Algorithm Animation
Sort
View
ICCAD
2002
IEEE
176views Hardware» more  ICCAD 2002»
16 years 4 months ago
High capacity and automatic functional extraction tool for industrial VLSI circuit designs
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
Sasha Novakovsky, Shy Shyman, Ziyad Hanna
196
Voted
PADL
2010
Springer
16 years 4 months ago
Implementing Query Answering for Hybrid MKNF Knowledge Bases
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
Ana Sofia Gomes, José Júlio Alferes,...
WWW
2010
ACM
16 years 2 months ago
CETR: content extraction via tag ratios
We present Content Extraction via Tag Ratios (CETR) – a method to extract content text from diverse webpages by using the HTML document’s tag ratios. We describe how to comput...
Tim Weninger, William H. Hsu, Jiawei Han
BIRTHDAY
2010
Springer
16 years 2 months ago
Extended Compact Web Graph Representations
Abstract. Many relevant Web mining tasks translate into classical algorithms on the Web graph. Compact Web graph representations allow running these tasks on larger graphs within m...
Francisco Claude, Gonzalo Navarro
LATIN
2010
Springer
16 years 2 months ago
Visiting a Sequence of Points with a Bevel-Tip Needle
Abstract. Many surgical procedures could benefit from guiding a bevel-tip needle along circular arcs to multiple treatment points in a patient. At each treatment point, the needle...
Steven Bitner, Yam Ki Cheung, Atlas F. Cook, Ovidi...
« Prev « First page 1225 / 1784 Last » Next »