2490 search results - page 182 / 498 » Complexity of Contextual Reasoning |
150
click to vote
ACSD
2008
IEEE
15 years 11 months ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
153
Voted
CISC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper reports on the improved and multiple linear cryptanalysis of reduced round Serpent by mean of a branch-and-bound characteristic search within the algorithm. We...
147
click to vote
SGAI
2007
Springer
15 years 11 months ago
2007
Springer
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...
113
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a new protocol for atomic broadcast in an asynchronous network with a maximal number of Byzantine failures. It guarantees both safety and liveness without maki...
158
click to vote
SIGGRAPH
1990
ACM
15 years 9 months ago
1990
ACM
We describe a fast method for creating physically based animation of non-rigid objects. Rapid simulation of nonrigid behavior is based on global deformations. Constraints are used...