7988 search results - page 174 / 1598 » A Useful Undecidable Theory |
LICS
1991
IEEE
14 years 1 months ago
1991
IEEE
Starting from a logic which speci es how to make deductions from a set of sentences (a ` at theory'), a way to generalise this toa partiallyordered bag ofsentences (a `struct...
EMSOFT
2008
Springer
14 years 5 days ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
I3E
2001
13 years 11 months ago
2001
The notion of the "stakeholders" of the firm has drawn ever-increasing attention since Freeman published his seminal book on Strategic Management: A Stakeholder Approach...
MICCAI
2004
Springer
14 years 11 months ago
2004
Springer
Abstract. Often in neurosurgical planning a dual spin echo acquisition is performed that yields proton density (PD) and T2-weighted images to evaluate edema near a tumor or lesion....
ISCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
JPEG2000, the new standard for still image coding, Quantization, user defined wavelets, arbitrary wavelet provides a new framework and an integrated toolbox to better decomposition...