Sciweavers

2588 search results - page 108 / 518
» Swarm Intelligence: From Natural to Artificial Systems
Sort
View
CSCW
2004
ACM
14 years 1 months ago
Lessons from the reMail prototypes
Electronic mail has become the most widely-used application for business productivity and communication, yet many people are frustrated with their email. Though email usage has ch...
Dan Gruen, Steven L. Rohall, Suzanne O. Minassian,...
EPIA
1993
Springer
13 years 12 months ago
Fast Methods for Solving Linear Diophantine Equations
We present some recent results from our research on methods for finding the minimal solutions to linear Diophantine equations over the naturals. We give an overview of a family of...
Miguel Filgueiras, Ana Paula Tomás
ECAI
2008
Springer
13 years 9 months ago
Determining Automatically the Size of Learned Ontologies
Determining the size of an ontology that is automatically learned from texts is an open issue. In this paper, we study the similarity between ontology concepts at different levels ...
Elias Zavitsanos, Sergios Petridis, Georgios Palio...
AMAI
2006
Springer
13 years 7 months ago
Mechanizing common knowledge logic using COQ
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
Pierre Lescanne
AIED
2007
Springer
14 years 2 months ago
Comparing Student-Constructed Open Learner Model Presentations to the Domain
Increasingly, learning environments are opening the learner model to the user it represents. This paper describes a study in which students were able to create their own presentati...
Andrew Mabbott, Susan Bull