Sciweavers

2452 search results - page 106 / 491
» The Case for Precision Sharing
Sort
View
HICSS
2005
IEEE
145views Biometrics» more  HICSS 2005»
15 years 12 months ago
Interoperability in E-Government: More than Just Smart Middleware
According to Layne and Lee (2001), electronic Government (e-Government, e-Gov) progresses towards higher levels of integration and interoperability among and between government le...
Hans Jochen Scholl
IV
2002
IEEE
99views Visualization» more  IV 2002»
15 years 11 months ago
Rigorous Exploration of Medical Data in Collaborative Virtual Reality Applications
We describe a virtual reality widget library and two medical applications. These applications, built on the widget library, make use of collaborative interaction techniques. These...
Fred Dech, Jonathan C. Silverstein
CW
2004
IEEE
15 years 10 months ago
Interactive Function-Based Shape Modeling for Cyberworlds
Shared virtual worlds require exchanging shape models over the Internet. Since complex shapes such as VRML objects are often defined with polygonal meshes, the size of models may ...
Konstantin Levinski, Alexei Sourin
FTDCS
2004
IEEE
15 years 10 months ago
Exploiting Semantic Proximity in Peer-to-Peer Content Searching
A lot of recent work has dealt with improving performance of content searching in peer-to-peer file sharing systems. In this paper we attack this problem by modifying the overlay ...
Spyros Voulgaris, Anne-Marie Kermarrec, Laurent Ma...
CADE
2007
Springer
16 years 6 months ago
Labelled Clauses
We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies...
Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps,...