2813 search results - page 62 / 563 » Formalizing Architectural Connection |
115
click to vote
AI
2010
Springer
15 years 2 months ago
2010
Springer
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...
129
click to vote
MOBIHOC
2002
ACM
16 years 2 months ago
2002
ACM
This paper investigates two fundamental characteristics of a wireless multihop network: its minimum node degree and its k?connectivity. Both topology attributes depend on the spat...
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
ions + Assume Guarantee + Induction GOAL: Formal verification of the IPCMOS architecture
107
click to vote
ESANN
2006
15 years 3 months ago
2006
The performance of sparsely-connected associative memory models built from a set of perceptrons is investigated using different patterns of connectivity. Architectures based on Gau...
106
click to vote
SIGIR
2003
ACM
15 years 7 months ago
2003
ACM
Abstract. In this paper we describe the architecture of the MIND system for federating multimedia digital libraries. MIND integrates heterogeneous, multimedia non-co-operating digi...