3843 search results - page 444 / 769 » System support for shared objects |
170
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
150
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, a novel artificial potential function is proposed for planning the path of a robotic sensor in a partially observed environment containing multiple obstacles and mul...
151
click to vote
ICALT
2007
IEEE
15 years 10 months ago
2007
IEEE
Technology Supported Learning Systems have proved to be useful in many learning situations. However, the development of such systems is still a hard task. Ontologies and Learning ...
161
click to vote
SIGIR
1995
ACM
15 years 10 months ago
1995
ACM
In this paper, we describe the design of a reusable IR framework, called FIRE, that is being implemented to facilitate the development of IR systems. In addition, FIRE is designed...
157
click to vote
WSC
2008
15 years 9 months ago
2008
This paper proposes an analytical model useful in the design of conveyor-based Automated Material Handling Systems (AMHS) to support semiconductor manufacturing. The objective is ...