Sciweavers

511 search results - page 72 / 103
» Computational aspects of the FLBC framework
Sort
View
RECOMB
2001
Springer
14 years 8 months ago
Towards predicting coiled-coil protein interactions
Protein-protein interactions play a central role in many cellular functions, and as whole-genome data accumulates, computational methods for predicting these interactions become i...
Mona Singh, Peter S. Kim
DIGRA
2005
Springer
14 years 1 months ago
Tangible Interfaces for Pervasive Gaming
With pervasive gaming, novel types of games have recently emerged. The idea is to apply pervasive computing technology - which embeds computers in real-world, everyday environment...
Andreas Schrader, Bernhard Jung, Darren Carlson
KIVS
1999
Springer
13 years 12 months ago
Mobile Agents as an Architectural Concept for Internet-Based Distributed Applications - The WASP Project Approach
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
Stefan Fünfrocken, Friedemann Mattern
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
13 years 11 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
CVPR
2006
IEEE
14 years 9 months ago
Putting Objects in Perspective
Image understanding requires not only individually estimating elements of the visual world but also capturing the interplay among them. In this paper, we provide a framework for p...
Derek Hoiem, Alexei A. Efros, Martial Hebert