Sciweavers

1050 search results - page 168 / 210
» Words, antibodies and their interactions
Sort
View
FUIN
2008
88views more  FUIN 2008»
14 years 9 months ago
Validating Behavioral Component Interfaces in Rewriting Logic
Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredic...
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
CN
2006
65views more  CN 2006»
14 years 9 months ago
Modeling web applications reacting to user behaviors
Many current research efforts address the problem of personalizing the Web experience for each user with respect to user's identity and/or context. In this paper we propose a...
Stefano Ceri, Florian Daniel, Federico Michele Fac...
CORR
2006
Springer
114views Education» more  CORR 2006»
14 years 9 months ago
Emergence Explained
Abstract. Emergence--macro-level effects from micro-level causes--is at the heart of the conflict between reductionism and functionalism. How can there be autonomous higher level l...
Russ Abbott
CVIU
2006
171views more  CVIU 2006»
14 years 9 months ago
Free viewpoint action recognition using motion history volumes
Action recognition is an important and challenging topic in computer vision, with many important applications including video surveillance, automated cinematography and understand...
Daniel Weinland, Rémi Ronfard, Edmond Boyer
ENTCS
2006
122views more  ENTCS 2006»
14 years 9 months ago
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
Damián Barsotti, Leonor Prensa Nieto, Alwen...