4211 search results - page 606 / 843 » Types as Abstract Interpretations |
150
click to vote
JAR
2008
15 years 6 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
184
click to vote
ISEM
2006
15 years 6 months ago
2006
Abstract The GXL Graph eXchange Language is an XML-based standard exchange language for sharing graph data between tools. GXL can be customized to exchange application specific typ...
161
click to vote
JIKM
2008
15 years 6 months ago
2008
Abstract. Current theories of knowledge management postulate a cycle of knowledge creation, refinement and implementation that hinges on the transformation of tacit, or practical, ...
193
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. We consider batch reinforcement learning problems in continuous space, expected total discounted-reward Markovian Decision Problems. As opposed to previous theoretical wo...
154
click to vote
MMS
2008
15 years 6 months ago
2008
CLAM is a C++ framework that offers a complete development and research platform for the audio and music domain. om offering an abstract model for audio systems, it also includes ...