4763 search results - page 205 / 953 » On the Execution of Deep Models |
170
click to vote
TPHOL
2008
IEEE
16 years 29 days ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
221
click to vote
ICDM
2007
IEEE
16 years 27 days ago
2007
IEEE
In this paper, we proposed a new approach, called FiVaTech for the problem of Web data extraction. FiVaTech is a page-level data extraction system which deduces the data schema an...
153
click to vote
FUN
2007
Springer
16 years 22 days ago
2007
Springer
The Hydra was a many-headed monster from Greek mythology that would immediately replace a head that was cut off by one or two new heads. It was the ask of Hercules to kill this mon...
170
click to vote
OTM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This article wants to address the need for a research effort and framework that studies and embraces the novel, difficult but crucial issues of adaptation of knowledge r...
167
click to vote
DAC
2006
ACM
16 years 17 days ago
2006
ACM
VLSI engineers have traditionally used a variety of CAD analysis tools (e.g. SPICE) to deal with variability. As we go into deep sub micron issues, the analysis is becoming harder...