4131 search results - page 596 / 827 » Compactness in Topology and Computation |
205
click to vote
CIVR
2007
Springer
16 years 24 days ago
2007
Springer
Ensuring the uniqueness of trademark images and protecting their identities are the most important objectives for the trademark registration process. To prevent trademark infringe...
209
click to vote
EMSOFT
2007
Springer
16 years 24 days ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
171
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
Connectivity patterns in biological brains exhibit many repeating motifs. This repetition mirrors inherent geometric regularities in the physical world. For example, stimuli that ...
175
click to vote
TPHOL
2005
IEEE
16 years 6 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
169
click to vote
ISPA
2005
Springer
16 years 3 days ago
2005
Springer
The way conventional Ethernet is used today differs in two aspects from how dedicated system area networks are used. Firstly, dedicated system area networks are lossless and only d...