2658 search results - page 350 / 532 » Micro-communication Element System |
121
Voted
VMCAI
2007
Springer
15 years 10 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...
174
Voted
WAW
2004
Springer
15 years 10 months 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...
134
click to vote
WEBI
2004
Springer
15 years 10 months 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...
142
Voted
DRM
2003
Springer
15 years 9 months 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...
129
click to vote
MICCAI
2004
Springer
16 years 5 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...