2632 search results - page 253 / 527 » Alternating Timed Automata |
125
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
Structured ASICs present an attractive alternative to reducing design costs and turnaround times in nanometer designs. As with conventional ASICs, such designs require global wire...
122
Voted
ESANN
2007
15 years 5 months ago
2007
In this work, we present a new model for a Recurrent Support Vector Machine. We call it intrinsic because the complete recurrence is directly incorporated within the considered opt...
133
Voted
IJCAI
1993
15 years 5 months ago
1993
One method for reducing the time required for plan generation is to learn search control rules from experience. Most of the recent work in learning search control knowledge has co...
167
click to vote
PSTV
1992
15 years 5 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
133
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study the problem of multimodal dimensionality reduction assuming that data samples can be missing at training time, and not all data modalities may be present at appl...