4485 search results - page 279 / 897 » Equivalences on Observable Processes |
152
click to vote
NLDB
2007
Springer
15 years 10 months ago
2007
Springer
This work deals with determination of meaningful and terse cluster labels for News document clusters. We analyze a number of alternatives for selecting headlines and/or sentences o...
112
Voted
ASYNC
2005
IEEE
15 years 10 months ago
2005
IEEE
We present an apparatus used to distribute a timing reference or clock across the extent of a digital system. Selftimed circuitry both generates and distributes a clock signal, wh...
111
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
This paper introduces an extension to the hypergraph data model used in the AutoMed data intergration approach that allows constraints common in static data modelling languages to ...
139
click to vote
EKAW
2004
Springer
15 years 10 months ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...
130
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...