19936 search results - page 3504 / 3988 » Inductive process modeling |
171
click to vote
MOBIDE
2006
ACM
16 years 4 days ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
176
click to vote
PLDI
2006
ACM
16 years 4 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
139
click to vote
SAC
2006
ACM
16 years 4 days ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...
160
click to vote
SIGIR
2006
ACM
16 years 4 days ago
2006
ACM
Similarity measures for text have historically been an important tool for solving information retrieval problems. In many interesting settings, however, documents are often closel...
162
click to vote
SIGIR
2006
ACM
16 years 4 days ago
2006
ACM
The performance of document clustering systems depends on employing optimal text representations, which are not only difficult to determine beforehand, but also may vary from one ...