4325 search results - page 250 / 865 » Incremental computation with names |
199
click to vote
DEDS
2000
15 years 6 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
199
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
Data stream classification poses many challenges, most of which are not addressed by the state-of-the-art. We present DXMiner, which addresses four major challenges to data stream ...
165
click to vote
JOCN
2011
14 years 9 months ago
2011
■ Representing object position is one of the most critical functions of the visual system, but this task is not as simple as reading off an objectʼs retinal coordinates. A rich...
199
click to vote
EXPERT
2002
15 years 6 months ago
2002
names in the same abstract already indicates a relation between them. Because of its simplicity, we can apply this approach to large amounts of text and establish interaction netwo...
131
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
A control part ? data path partition based sequential circuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a ...