Sciweavers

1295 search results - page 40 / 259
» informs 1998
Sort
View
AI
1998
Springer
14 years 9 months ago
Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
Fangzhen Lin
ICDE
1998
IEEE
82views Database» more  ICDE 1998»
15 years 11 months ago
Safeguarding and Charging for Information on the Internet
With the growing acceptance of the Internet as a new dissemination medium, several new and interesting challenges arise in building a digital commerce infrastructure. In this arti...
Hector Garcia-Molina, Steven P. Ketchpel, Narayana...
61
Voted
TCAD
1998
109views more  TCAD 1998»
14 years 9 months ago
Diagnosing realistic bridging faults with single stuck-at information
Successful failure analysis requires accurate fault diagnosis. This paper presents a method for diagnosing bridging faults that improves on previous methods. The new method uses s...
David B. Lavo, Brian Chess, Tracy Larrabee, F. Joe...
CHI
1998
ACM
15 years 1 months ago
Information Archiving with Bookmarks: Personal Web Space Construction and Organization
Bookmarks are used as "personal Web information spaces" to help people remember and retrieve interesting Web pages. A study of personal Web information spaces surveyed 3...
David Abrams, Ronald Baecker, Mark H. Chignell
TOOLS
1998
IEEE
15 years 1 months ago
C++ Program Information Database for Analysis Tools
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...
Wanghong Yuan, X. Chen, Tao Xie, Hong Mei, Fuqing ...