624 search results - page 80 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
BMCBI
2007
13 years 8 months ago
2007
Background: Accurate prediction of intra-protein residue contacts from sequence information will allow the prediction of protein structures. Basic predictions of such specific con...
COMPSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
KCAP
2003
ACM
14 years 2 months ago
2003
ACM
In this paper we describe a generic library of problemsolving methods (PSMs) for scheduling applications. Although, some attempts have been made in the past at developing librarie...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
VRCAI
2006
ACM
14 years 2 months ago
2006
ACM
Shadowing effects dramatically enhance the realism of virtual environments by providing useful visual cues. Shadow mapping is an efficient algorithm for real-time shadow renderin...