2701 search results - page 71 / 541 » On the form of witness terms |
151
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Workers in organizations frequently request help from assistants by sending request messages that express information intent: an intention to update data in an information system....
155
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. We propose a non-parametric diffeomorphic image registration algorithm based on Thirion's demons algorithm. The demons algorithm can be seen as an optimization proce...
155
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Web based applications offer a mainstream channel for businesses to manage their activities. We model such business activity in a grammar-based framework. The Backus Naur form not...
139
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
146
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
Our goal is to understand redo recovery. We define an installation graph of operations in an execution, an ordering significantly weaker than conflict ordering from concurrency co...