2658 search results - page 350 / 532 » Micro-communication Element System |
178
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
229
click to vote
WAW
2004
Springer
16 years 11 days ago
2004
Springer
We develop an algorithm to detect community structure in complex networks. The algorithm is based on spectral methods and takes into account weights and links orientations. Since t...
176
click to vote
WEBI
2004
Springer
16 years 11 days ago
2004
Springer
The semi-structured information available in HTML and similar documents provide valuable information that can be used for information extraction applications. This information tog...
183
click to vote
DRM
2003
Springer
16 years 8 days ago
2003
Springer
In this paper we examine how copyright protection of digital items can be securely managed in a 3G mobile phone and other devices. First, the basic concepts, strategies, and requi...
174
click to vote
MICCAI
2004
Springer
16 years 8 months ago
2004
Springer
This paper presents an autostereoscopic three-dimensional (3-D) surgical display with high quality integral videography (IV) rendering algorithm. IV is an animated extension of int...