1789 search results - page 108 / 358 » New analysis and results for the Frank-Wolfe method |
124
click to vote
DAC
1996
ACM
15 years 5 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
SAS
1994
Springer
15 years 5 months ago
1994
Springer
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
100
click to vote
DLOG
2008
15 years 3 months ago
2008
We propose an approach for extending domain knowledge represented in DL ontology by using knowledge extraction methods on ontology assertions. Concept and role assertions are extra...
144
click to vote
EMNLP
2007
15 years 3 months ago
2007
We propose a novel method for Japanese dependency analysis, which is usually reduced to the construction of a dependency tree. In deterministic approaches to this task, dependency...
74
Voted
ICCAD
1996
IEEE
15 years 5 months ago
1996
IEEE
The functional validation of a state-of-the-art digital design is usually performed by simulation of a register-transfer-level model. The degree to which the testvector suite cove...