Sciweavers

4880 search results - page 25 / 976
» Manuals as Structured Programs
Sort
View
FOCM
2006
59views more  FOCM 2006»
13 years 11 months ago
Hyperbolic Programs, and Their Derivative Relaxations
We study the algebraic and facial structures of hyperbolic programs, and examine natural relaxations of hyperbolic programs, the relaxations themselves being hyperbolic programs.
James Renegar
ICALP
1994
Springer
14 years 3 months ago
Equivalences for Fair Kripke Structures
Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert...
IFIP
1991
Springer
14 years 2 months ago
Supporting Designers' Access to Information through Virtually Structured Hypermedia
Raymond McCall, Jonathan L. Ostwald, Frank M. Ship...
ERLANG
2008
ACM
14 years 21 days ago
Refactoring module structure
László Lövei, Csaba Hoch, Hanna...
BIBM
2009
IEEE
190views Bioinformatics» more  BIBM 2009»
13 years 8 months ago
A Fast, Semi-automatic Brain Structure Segmentation Algorithm for Magnetic Resonance Imaging
Abstract--Medical image segmentation has become an essential technique in clinical and research-oriented applications. Because manual segmentation methods are tedious, and fully au...
Kevin Karsch, Qing He, Ye Duan