Sciweavers

800 search results - page 136 / 160
» Towards a formalization of budgets
Sort
View
IJCAI
1989
14 years 11 months ago
A Computational Framework for Granularity and its Application to Educational Diagnosis
Many artificial intelligence systems implicitly use notions of granularity in reasoning, but there is very little research into granularity itself. An exception is the work of Hob...
Jim E. Greer, Gordon I. McCalla
90
Voted
LFP
1992
153views more  LFP 1992»
14 years 11 months ago
Reasoning About Programs in Continuation-Passing Style
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
Amr Sabry, Matthias Felleisen
EGOV
2010
Springer
14 years 11 months ago
Design of an Open Social E-Service for Assisted Living
E-government has emerged as one of the most promising means to reform the public sector. E-government is now being used to improve services for assisted living. The purpose of assi...
Gustaf Juell-Skielse, Petia Wohed
89
Voted
ECAI
2010
Springer
14 years 10 months ago
Brothers in Arms? On AI Planning and Cellular Automata
AI Planning is concerned with the selection of actions towards achieving a goal. Research on cellular automata (CA) is concerned with the question how global behaviours arise from ...
Jörg Hoffmann, Nazim Fatès, Héc...
ADT
2010
14 years 10 months ago
An EAP-EHash authentication method adapted to resource constrained terminals
: In the era of mobile and wireless networks, the growing complexity of end devices and the accentuated tendency towards miniaturization of them raise new security challenges. Auth...
Omar Cheikhrouhou, Maryline Laurent, Amin Ben Abda...