1021 search results - page 26 / 205 » Concepts in Proof Planning |
TSMC
2011
13 years 3 months ago
2011
—Based on concepts of ecology modeling and specifi-4 cally on population biology, a methodology for describing a high-5 technology market’s dynamics is developed and presented...
CHES
2006
Springer
14 years 11 days ago
2006
Springer
In cryptography it is assumed that adversaries only have black box access to the secret keys of honest parties. In real life, however, the black box approach is not sufficient beca...
AMAST
2006
Springer
14 years 11 days ago
2006
Springer
This paper revolves around the so-called plan revision rules of the agent programming language 3APL. These rules can be viewed as a generalization of procedures. This generalizatio...
JCP
2008
13 years 8 months ago
2008
Knowledge discovery in database have been attracting a significant amount of research, industry attention in recent years. Process planning knowledge (PPK) is one of the most impor...
FROCOS
2007
Springer
14 years 2 months ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...