549 search results - page 40 / 110 » Verification condition generation for conditional informatio... |
FPGA
1997
ACM
15 years 4 months ago
1997
ACM
In this paper, we give a necessary and sufficient condition for the existence of partially-dependent functional decomposition and develop new algorithms to compute such decomposi...
117
click to vote
BIBM
2007
IEEE
15 years 7 months ago
2007
IEEE
GENMINER is a smart adaptation of closed itemsets based association rules extraction to genomic data. It takes advantage of the novel NORDI discretization method and of the CLOSE ...
ICRA
1998
IEEE
15 years 4 months ago
1998
IEEE
Parts orienting, the process of bringing parts in initially unknown orientations to a goal orientation, is an important aspect of automated assembly. Bowl feeders used in industry...
124
Voted
COLING
2010
14 years 7 months ago
2010
We study a novel shallow information extraction problem that involves extracting sentences of a given set of topic categories from medical forum data. Given a corpus of medical fo...
114
click to vote
HPCA
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper introduces a new architectural approach that supports compiler-synthesized dynamic branch predication. In compiler-synthesized dynamic branch prediction, the compiler g...