952 search results - page 60 / 191 » TreeFam: 2008 Update |
133
Voted
JANCL
2007
15 years 3 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
95
Voted
CN
2000
15 years 3 months ago
2000
The Boeing Commercial Airplanes Wing Responsibility Center (WRC) needed a way to communicate quickly and effectively between its various plant locations. An important requirement ...
134
Voted
CGF
1999
15 years 3 months ago
1999
This paper describes the successful combination of pre-generated and dynamically updated image-based representations to accelerate the visualization of complex virtual environment...
112
Voted
CN
1999
15 years 3 months ago
1999
The combined benefits of smart card to support mobility in a pocket coupled with the ubiquitous access of Web technology, present a new paradigm for medical information access sys...
113
Voted
SCP
1998
15 years 3 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...