9871 search results - page 371 / 1975 » On the Structure of Low Sets |
183
Voted
SIGSOFT
2006
ACM
16 years 22 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
171
Voted
ASSETS
2004
ACM
16 years 6 days ago
2004
ACM
The hierarchical structure of a program can be quite complex. As such, many Integrated Development Environments (IDEs) provide graphical representations of program structure at di...
169
click to vote
VLDB
1997
ACM
15 years 11 months ago
1997
ACM
Abstract: Recently there has been an increasing interest in supporting bulk operations on multidimensional index structures. Bulk loading refers to the process of creating an initi...
190
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Identifying the structure of unknown molecules is an important activity in the pharmaceutical industry where it underpins the production of new drugs and the analysis of ...
215
click to vote
CVPR
2005
IEEE
15 years 8 months ago
2005
IEEE
The segmentation of anatomical structures has been traditionally formulated as a perceptual grouping task, and solved through clustering and variational approaches. However, such ...