3342 search results - page 123 / 669 » Automating Abstract Interpretation |
123
Voted
CORR
2004
Springer
14 years 11 months ago
2004
Springer
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
CEC
2005
IEEE
15 years 4 months ago
2005
IEEE
Described are new approaches for evaluating computer program representations for use in automated search methodologies such as the evolutionary design of software. Previously, prog...
111
click to vote
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
Action set selection in Markov Decision Processes (MDPs) is an area of research that has received little attention. On the other hand, the set of actions available to an MDP agent...
APLAS
2005
ACM
15 years 4 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
ICIP
2005
IEEE
16 years 25 days ago
2005
IEEE
While 3D seismic data become widespread and the data-sets get larger, the demand for automation to speed up the seismic interpretation process is increasing as well. However, the d...