2648 search results - page 364 / 530 » Worlds, Models, and KM |
161
click to vote
IROS
2006
IEEE
16 years 17 days ago
2006
IEEE
— This paper presents a sensor fusion model developed for the 2005 Grand Challenge competition, an autonomous ground vehicle race across the Mojave desert organized by DARPA1 . T...
150
click to vote
CEC
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract- The effect of adding noise to an expressioninduction model of language evolution was investigated. The model consisted of a number of artificial people who were able to i...
164
click to vote
COLCOM
2005
IEEE
16 years 5 days ago
2005
IEEE
In contrast to a large body of theoretical work on computer systems, distributed systems are not idealised constructions, unconstrained by physical world limitations. They must be...
147
click to vote
GLVLSI
2005
IEEE
16 years 4 days ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
177
click to vote
HICSS
2005
IEEE
16 years 4 days ago
2005
IEEE
— Legacy Information Systems (LIS) pose a challenge for many organizations. On one hand, LIS are viewed as aging systems needing replacement; on the other hand, years of accumula...