3973 search results - page 483 / 795 » Records for Logic Programming |
167
click to vote
DLOG
2003
15 years 6 months ago
2003
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
156
click to vote
NDSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
151
Voted
WOTUG
2008
15 years 6 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
131
click to vote
CACM
2011
14 years 8 months ago
2011
For many years people have speculated that electroencephalographic activity or other electrophysiological measures of brain function might provide a new non-muscular channel for s...
173
click to vote
FLOPS
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...