3690 search results - page 119 / 738 » Computation with classical sequents |
JCS
2011
14 years 25 days ago
2011
Malicious software—so called malware—poses a major threat to the security of computer systems. The amount and diversity of its variants render classic security defenses ineffe...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a domain-independent algorithm for planning that computes macros in a novel way. Our algorithm computes macros “on-the-fly” for a given set of states and ...
108
click to vote
CCA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
117
click to vote
MICCAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We develop a segmentation technique for dynamic PET incorporating the physiological parameters for different regions via kinetic modeling. We demonstrate the usefulness o...
ICIP
2008
IEEE
15 years 4 months ago
2008
IEEE
We propose new discrete-to-continuous interpolation models for hexagonally sampled data, that generalize two families of splines developed in the literature for the hexagonal latt...