4460 search results - page 367 / 892 » Formal methods for interactive systems |
240
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Because of the increasing number of electronic data, designing efficient tools to retrieve and exploit documents is a major challenge. Current search engines suffer from two main d...
163
click to vote
HRI
2007
ACM
15 years 10 months ago
2007
ACM
The goal of the RUBI project is to accelerate progress in the development of social robots by addressing the problem at multiple levels, including the development of new scientifi...
210
click to vote
TMM
2010
15 years 1 months ago
2010
Abstract--The automatic discovery of group conversational behavior is a relevant problem in social computing. In this paper, we present an approach to address this problem by defin...
127
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the computing power of a restricted class of DNA strand displacement structures: those that are made of double strands with nicks (interruptions) in the top strand....
199
click to vote
SEMWEB
2007
Springer
16 years 26 days ago
2007
Springer
OntoDNA is an automated ontology mapping and merging system that utilizes unsupervised data mining methods, comprising of Formal Concept analysis (FCA), Self-Organizing map (SOM) a...