3552 search results - page 695 / 711 » Proof theory in the abstract |
PODS
2010
ACM
15 years 7 months ago
2010
ACM
It is well known that a search engine can significantly benefit from an auxiliary database, which can suggest interpretations of the search query by means of the involved concep...
141
click to vote
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...
125
Voted
ECSQARU
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
GI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract: Am Anfang der Kybernetik steht die Erkenntnis Norbert Wieners, dass Lebewesen und Maschinen etwas gemeinsam haben: Ihr Verhalten l¨asst sich als Feedbackprozess beschrei...
145
click to vote
KESAMSTA
2009
Springer
15 years 6 months ago
2009
Springer
ent Artificial Immune Systems (MAAIS) for Intrusion Detection: Abstraction from Danger Theory Chung-Ming Ou, C.R. Ou Ants-like Agents: a Model and Analysis Based on Natural Ants Be...