263 search results - page 52 / 53 » Using Temporal Logic for Spatial Reasoning: Temporalized Pro... |
BMCBI
2005
13 years 6 months ago
2005
Background: Cis-regulatory modules are combinations of regulatory elements occurring in close proximity to each other that control the spatial and temporal expression of genes. Th...
KBSE
1999
IEEE
13 years 10 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
POPL
2003
ACM
14 years 6 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
CCS
2005
ACM
13 years 11 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
IJCAI
2003
13 years 7 months ago
2003
There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...