Sciweavers

1816 search results - page 145 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
COMPSAC
2007
IEEE
16 years 22 days ago
A Framework for Open Distributed System Design
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
Alexei Iliasov, Alexander Romanovsky, Budi Arief
WMTE
2006
IEEE
16 years 12 days ago
Mobile Web Services for Collaborative Learning
Since learning nowadays is conceptualized as a social system within communities of practice, the best way to learn is with others, in groups. In the past few years, there has been...
Mohamed Amine Chatti, Satish Narayana Srirama, Dav...
LISP
2006
77views more  LISP 2006»
15 years 6 months ago
Expressing combinatory reduction systems derivations in the rewriting calculus
The last few years have seen the development of the rewriting calculus (also called rho-calculus or -calculus) that uniformly integrates first-order term rewriting and the -calculu...
Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
AIM
2006
15 years 6 months ago
Companion Cognitive Systems: A Step towards Human-Level AI
We are developing Companion Cognitive Systems, a new kind of software that can be effectively treated as a collaborator. Aside from their potential utility, we believe this effort...
Kenneth D. Forbus, Thomas R. Hinrichs
HICSS
2008
IEEE
130views Biometrics» more  HICSS 2008»
16 years 26 days ago
Enterprise Modeling for Information System Development within MDA
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
Janis Osis, Erika Asnina