2659 search results - page 63 / 532 » Do we mean the same |
106
click to vote
ACSC
2008
IEEE
15 years 10 months ago
2008
IEEE
Web services have been proposed as means to provide more convenient access to computation services. An issue that still must be dealt with is what to do if there is no web service...
154
click to vote
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
A whole world is presented in front of the eyes of a gamer. This world has shapes and colours. What do colours transmit? Is this considered in digital games? These are the main is...
126
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper describes a probabilistic framework for navigation using only appearance data. By learning a generative model of appearance, we can compute not only the similarity o...
135
click to vote
ENTCS
2007
15 years 4 months ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...
122
click to vote
SIGUCCS
2003
ACM
15 years 9 months ago
2003
ACM
Working in a team environment can be either an efficient and productive means of completing projects or a nightmare where the project never seems to end. Most of us have been a pa...