Sciweavers

2827 search results - page 72 / 566
» CCured in the real world
Sort
View
IAT
2008
IEEE
14 years 4 months ago
Levels of Modalities for BDI Logic
The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI Logic being a widely used architecture to repres...
Jeff Blee, David Billington, Guido Governatori, Ab...
ROBIO
2006
IEEE
123views Robotics» more  ROBIO 2006»
14 years 4 months ago
Evolutionary Robotics, Anticipation and the Reality Gap
— Evolutionary Robotics provide efficient tools and approach to address automatic design of controllers for automous mobile robots. However, the computational cost of the optimi...
Cédric Hartland, Nicolas Bredeche
DIMEA
2008
168views Multimedia» more  DIMEA 2008»
13 years 11 months ago
Pervasive play, immersion and story: designing interference
Pervasive games are games that are played in the real world
John-Paul Bichard, Annika Waern
ESANN
2004
13 years 11 months ago
Non-Euclidean norms and data normalisation
Kevin Doherty, Rod Adams, Neil Davey
TREC
1997
13 years 11 months ago
Overview of TREC-6 Very Large Collection Track
The emergence of real world applications for text collections orders of magnitude larger
David Hawking, Paul B. Thistlewaite