Sciweavers

1662 search results - page 211 / 333
» Privately Finding Specifications
Sort
View
ACL
1998
15 years 2 months ago
Investigating Regular Sense Extensions Based on Intersective Levin Classes
In this paper we specifically address questions of polysemy with respect to verbs, and how regular extensions of meaning can be achieved through the adjunction of particular synta...
Hoa Trang Dang, Karin Kipper, Martha Stone Palmer,...
91
Voted
AIPS
2000
15 years 2 months ago
Plan Generation for GUI Testing
Graphical user interfaces (GUIs) have become nearly ubiquitous as a means of interacting with software systems. GUIs are typically highly complex pieces of software, and testing t...
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa
112
Voted
VIP
2003
15 years 2 months ago
3D Reconstruction of a Human Face with Monocular Camera Based on Head Movement
Constructing three-dimensional model from two-dimensional images is an old problem in the area of computer vision. There are many publications and our approach is specifically des...
Ben Yip, Jesse S. Jin
PROCOMET
1998
15 years 2 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
89
Voted
WSC
1998
15 years 2 months ago
SDI INDUSTRY: An Extend-based Tool for Continuous and High-Speed Manufacturing
Continuous or high-speed manufacturing equipment is an integral part of the food and beverage, pharmaceutical, and consumer products industries. For many years, these industries h...
Andrew J. Siprelle, Richard A. Phelps, M. Michelle...