4791 search results - page 393 / 959 » Clustering with partial information |
208
click to vote
CAV
1998
Springer
15 years 12 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
174
click to vote
ESOP
1990
Springer
15 years 11 months ago
1990
Springer
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
182
click to vote
EACL
1993
ACL Anthology
15 years 9 months ago
1993
ACL Anthology
We report grammar inference experiments on partially parsed sentences taken from the Wall Street Journal corpus using the inside-outside algorithm for stochastic context-free gram...
218
click to vote
IWMMDBMS
1996
15 years 9 months ago
1996
The maintenance of large raster images under spatial operations is still a major performance bottleneck. For reasons of storage space, images in a collection, such as satellite pi...
197
click to vote
ACS
2004
15 years 7 months ago
2004
Inthis article westudy the fundamental category (Goubault and Raussen, 2002 Goubault, 2002) of a partially ordered topological space (Nachbin, 1965 Johnstone, 1982), as arising in ...