Sciweavers

511 search results - page 72 / 103
» Computational aspects of the FLBC framework
Sort
View
RECOMB
2001
Springer
16 years 3 days 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
15 years 5 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
15 years 4 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»
15 years 3 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
16 years 1 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