12981 search results - page 2276 / 2597 » Model Checking (Abstract) |
154
click to vote
EPEW
2005
Springer
15 years 10 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
128
click to vote
ERCIMDL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Managing bibliographic data is a requirement for many researchers, and in the group setting within which the majority of research takes place, the managing and sharing of...
146
click to vote
ESA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Modern computer graphics systems are able to render sophisticated 3D scenes consisting of millions of polygons. For most camera positions only a small collection of these...
134
click to vote
EUROPKI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Transformations of signed documents raise questions of technical and organisational nature which render the legal security of the transformed document doubtful. In partic...
122
click to vote
EWMF
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We show that eigenvector decomposition can be used to extract a term taxonomy from a given collection of text documents. So far, methods based on eigenvector decompositio...