7820 search results - page 1293 / 1564 » Formalization of Time and Space |
180
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper employs the analysis of an interpretive case study within a Regional Train Operating Company (RTOC) to arrive at theoretical understandings of Information Systems (IS)....
189
click to vote
ICDCS
2003
IEEE
15 years 12 months ago
2003
IEEE
Writing correct distributed programs is hard. In spite of extensive testing and debugging, software faults persist even in commercial grade software. Many distributed systems, esp...
180
click to vote
ICDE
2003
IEEE
15 years 12 months ago
2003
IEEE
The majority of web pages served today are generated dynamically, usually by an application server querying a back-end database. To enhance the scalability of dynamic content serv...
200
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we present a probabilistic framework for the reduction in the uncertainty of a moving robot pose during exploration by using a second robot to assist. A Monte Carlo ...
136
click to vote
ICTAI
2003
IEEE
15 years 12 months ago
2003
IEEE
Local search-based methods of SAT solving have received a significant attention in the last decade. All local search-based methods choose the next truth assignment by flipping t...