89 search results - page 15 / 18 » Observation, Communication and Intelligence in Agent-Based S... |
AIMSA
1998
Springer
13 years 11 months ago
1998
Springer
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...
AAAI
2006
13 years 8 months ago
2006
Social networks are important for the Semantic Web. Several means can be used to obtain social networks: using social networking services, aggregating Friendof-a-Friend (FOAF) doc...
IUI
2010
ACM
14 years 3 months ago
2010
ACM
Most of the previous work on non-invasive brain-computer interfaces (BCIs) has been focused on feature extraction and classification algorithms to achieve high performance for the...
LFCS
2007
Springer
14 years 26 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
MUM
2005
ACM
14 years 8 days ago
2005
ACM
This paper proposes an intelligent mobile middleware utilizing group-based content push with dynamic session startup and plugand-play features. Solution enhances the distribution ...