3208 search results - page 132 / 642 » Methods and views |
SIAMJO
2002
14 years 9 months ago
2002
We study a class of generalized bundle methods for which the stabilizing term can be any closed convex function satisfying certain properties. This setting covers several algorithm...
SIP
2003
14 years 11 months ago
2003
We describe the establishment of a compound object model for object recognition purposes which provides the frame for the extraction of object structure from images degraded by no...
123
click to vote
CSCW
1992
ACM
15 years 2 months ago
1992
ACM
A system that allows people to simultaneously modify a common design in a graphically rich environment was developed to identify and examine groupware interface issues unique to t...
IWSSD
2000
IEEE
15 years 1 months ago
2000
IEEE
Modern software is often constructed using "spiral specification"; i.e. the specification is a dynamic document that is altered by experience with the current version of...
AAAI
1993
14 years 11 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...