725 search results - page 102 / 145 » Complexity of Computing with Extended Propositional Logic Pr... |
120
Voted
EGC
2005
Springer
15 years 8 months ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
161
Voted
LOGCOM
1998
15 years 2 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
131
click to vote
DSN
2002
IEEE
15 years 7 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
124
click to vote
EGH
2007
Springer
15 years 8 months ago
2007
Springer
The enormous flexibility of the modern GPU rendering pipeline as well as the availability of high-level shader languages have led to an increased demand for sophisticated program...
108
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...