14331 search results - page 2535 / 2867 » On the modeling and analysis of obligations |
226
click to vote
PLDI
2005
ACM
16 years 1 months ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
244
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
In this paper, we describe a new approach for mining concept associations from large text collections. The concepts are short sequences of words that occur frequently together acr...
181
click to vote
SIGDOC
2005
ACM
16 years 1 months ago
2005
ACM
The creation process of technical documentation is an expensive and time-consuming task especially for complex products. To make this process more cost-efficient computerized supp...
188
click to vote
SIGIR
2005
ACM
16 years 1 months ago
2005
ACM
The bottleneck for dictionary-based cross-language information retrieval is the lack of comprehensive dictionaries, in particular for many different languages. We here introduce a...
181
click to vote
SMA
2005
ACM
16 years 1 months ago
2005
ACM
This paper describes a method for creating a well-shaped, layered tetrahedral mesh of a thin-walled solid by adapting the surface triangle sizes to the estimated wall thickness. T...