549 search results - page 46 / 110 » Verification condition generation for conditional informatio... |
83
Voted
EUNIS
2001
15 years 2 months ago
2001
: The goal of this paper is to describe how the development, implementation, and deployment of Information System of University of Latvia changed the life of the University and fac...
BMCBI
2005
15 years 15 days ago
2005
Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...
107
Voted
METMBS
2004
15 years 2 months ago
2004
We introduce new distance measures for the construction and analysis of phylogenies, focusing on thioredoxin-fold proteins. Our distance measures for tree construction are based o...
124
click to vote
CGF
2008
15 years 21 days ago
2008
We present a technique for coupling simulated fluid phenomena that interact with real dynamic scenes captured as a binocular video sequence. We first process the binocular video s...
120
click to vote
MIDDLEWARE
2007
Springer
15 years 6 months ago
2007
Springer
Context awareness has emerged as an important element in distributed computing. It offers mechanisms that allow applications to be aware of their environment and enable these appl...