258 search results - page 30 / 52 » Hybrid Logics on Linear Structures: Expressivity and Complex... |
126
click to vote
MICCAI
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. This study presents a novel automatic approach for the identification of anatomical brain structures in magnetic resonance images (MRI). The method combines a fast multis...
106
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
125
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...
179
click to vote
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
106
click to vote
IJCAI
2001
15 years 2 months ago
2001
Combinatorial auctions provide a valuable mechanism for the allocation of goods in settings where buyer valuations exhibit complex structure with respect to substitutabilityand co...