Sciweavers

7064 search results - page 1164 / 1413
» From States to Histories
Sort
View
IFM
2010
Springer
113views Formal Methods» more  IFM 2010»
15 years 5 months ago
Translating Pi-Calculus into LOTOS NT
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
Radu Mateescu, Gwen Salaün
IJAMC
2010
114views more  IJAMC 2010»
15 years 5 months ago
Design issues for Peer-to-Peer Massively Multiplayer Online Games
: Massively Multiplayer Online Games (MMOGs) are increasing in both popularity and scale, and while classical Client/Server architectures convey some benefits, they suffer from s...
Lu Fan, Philip W. Trinder, Hamish Taylor
KES
2008
Springer
15 years 5 months ago
A Primer in Knowledge Management for Nanoinformatics in Medicine
Abstract. In the last years new scientific knowledge and technological developments derived from the Human Genome Project have been affecting the way in which biomedical research a...
Fernando Martín-Sánchez, Victoria L&...
IJRR
2010
93views more  IJRR 2010»
15 years 5 months ago
Autonomous Helicopter Aerobatics through Apprenticeship Learning
Autonomous helicopter flight is widely regarded to be a highly challenging control problem. Despite this fact, human experts can reliably fly helicopters through a wide range of m...
Pieter Abbeel, Adam Coates, Andrew Y. Ng
IJSR
2010
107views more  IJSR 2010»
15 years 5 months ago
Multi-model Hypothesis Group Tracking and Group Size Estimation
Abstract— People in densely populated environments typically form groups that split and merge. In this paper we track groups of people so as to reflect this formation process an...
Boris Lau, Kai Oliver Arras, Wolfram Burgard
« Prev « First page 1164 / 1413 Last » Next »