2308 search results - page 205 / 462 » Representing Symbolic Reasoning |
181
click to vote
SRDS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-Software code reuse has long been touted as a reliable and efficient software development paradigm. Whilst this practice has numerous benefits, it is inherently susceptibl...
244
click to vote
NGC
2010
Springer
15 years 1 months ago
2010
Springer
A key to overcoming the limitations of classical artificial intelligence and to deal well with enormous amounts of information might be brain-like computing in which distributed re...
199
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
279
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Many scientific, financial, data mining and sensor network applications need to work with continuous, rather than discrete data e.g., temperature as a function of location, or sto...
170
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...