118 search results - page 12 / 24 » Scaling model checking of dataraces using dynamic informatio... |
BMCBI
2007
13 years 7 months ago
2007
Background: Protein interactions support cell organization and mediate its response to any specific stimulus. Recent technological advances have produced large data-sets that aim ...
ENVSOFT
2007
13 years 7 months ago
2007
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...
SPAA
2005
ACM
14 years 1 months ago
2005
ACM
The page migration problem is one of subproblems of data management in networks. It occurs in a distributed network of processors sharing one indivisible memory page of size D. Du...
ROBOCUP
2009
Springer
14 years 4 days ago
2009
Springer
In this article a hand gesture recognition system that allows interacting with a service robot, in dynamic environments and in real-time, is proposed. The system detects hands and ...
MICCAI
2010
Springer
13 years 6 months ago
2010
Springer
Bioluminescence imaging (BLI) offers the possibility to study and image biology at molecular scale in small animals with applications in oncology or gene expression studies. Here ...