7495 search results - page 675 / 1499 » Intelligent Document Processing |
225
Voted
WOLLIC
2010
Springer
15 years 5 months ago
2010
Springer
We provide a formalisation of the theory of pushdown automata (PDAs) using the HOL4 theorem prover. It illustrates how provers such as HOL can be used for mechanising complicated p...
324
Voted
ANTSW
2010
Springer
15 years 5 months ago
2010
Springer
We present a set of experiments in which a robotic swarm manages to collectively explore the environment, forming a path to navigate between two target areas, which are too distant...
197
Voted
IAT
2010
IEEE
15 years 5 months ago
2010
IEEE
Computational trust systems are getting popular in several domains such as social networks, grid computing and business-to-business systems. However, the estimation of the trustwo...
201
click to vote
PAAMS
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents an improved version of a multiagent architecture aimed at providing solutions for monitoring the interaction between the atmosphere and the ocean. The ocean sur...
209
Voted
PAAMS
2010
Springer
15 years 5 months ago
2010
Springer
Context-aware systems capture information from the attributes located within their surroundings and deal with different ways of interacting with the user in its environment. This p...