4985 search results - page 790 / 997 » Observation of String-Rewriting Systems |
164
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Disk subsystems span the range of configuration complexity from single disk drives to large installations of disk arrays. They can be directly attached to individual computer syst...
170
click to vote
SIGIR
2000
ACM
15 years 10 months ago
2000
ACM
The paper introduces a query translation model that re ects the structure of the cross-language information retrieval task. The model is based on a structured bilingual dictionary...
152
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
187
click to vote
DSOM
2000
Springer
15 years 10 months ago
2000
Springer
The availability of object middleware, such as CORBA, is rapidly being accepted as a means for cost effective and fast development for a wide range of distributed applications. Dis...
149
click to vote
JCDL
2010
ACM
15 years 10 months ago
2010
ACM
The question of citation behavior has always intrigued scientists from various disciplines. While general citation patterns have been widely studied in the literature we develop t...