263 search results - page 52 / 53 » Using Temporal Logic for Spatial Reasoning: Temporalized Pro... |
170
Voted
BMCBI
2005
15 years 5 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...
153
Voted
KBSE
1999
IEEE
15 years 9 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...
271
Voted
POPL
2003
ACM
16 years 5 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...
165
Voted
CCS
2005
ACM
15 years 10 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...
153
click to vote
IJCAI
2003
15 years 6 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...