11168 search results - page 1919 / 2234 » Abstract State Processes |
140
click to vote
ACAL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper illustrates how the Quadratic Assignment Problem (QAP) is used as a mathematical model that helps to produce a visualization of microarray data, based on the r...
122
click to vote
ACCV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Many real objects, such as faces, sculptures, or low-reliefs are composed of many detailed parts that can not be easily modeled by an artist nor by 3D scanning. In this p...
119
click to vote
ASIAN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
122
click to vote
AUSAI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Temporal expressions—references to points in time or periods of time—are widespread in text, and their proper interpretation is essential for any natural language pro...
101
click to vote
BTW
2007
Springer
15 years 9 months ago
2007
Springer
B-tree and index into two layers of abstraction. In addition, this paper provides algorithms for (i) concurrency control and recovery including locking of individual keys and of co...