Sciweavers

3713 search results - page 369 / 743
» Quantum Information Theory
Sort
View
GROUP
2005
ACM
15 years 11 months ago
Supporting social worlds with the community bar
The Community Bar is groupware supporting informal awareness and casual interaction for small social worlds: a group of people with a common purpose. Its conceptual design is prim...
Gregor McEwan, Saul Greenberg
CAV
2005
Springer
104views Hardware» more  CAV 2005»
15 years 11 months ago
Expand, Enlarge and Check... Made Efficient
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
Gilles Geeraerts, Jean-François Raskin, Lau...
COMPGEOM
2004
ACM
15 years 11 months ago
Deformable spanners and applications
For a set S of points in Rd, an s-spanner is a graph on S such that any pair of points is connected via some path in the spanner whose total length is at most s times the Euclidea...
Jie Gao, Leonidas J. Guibas, An Nguyen
HT
2004
ACM
15 years 11 months ago
WARP: a web-based dynamic spatial hypertext
WARP is a Web-based dynamic spatial hypertext that runs in a Web browser. WARP includes the ability to transclude other spatial hypertexts as collections. WARP also enables annota...
Luis Francisco-Revilla, Frank M. Shipman III
IUI
2004
ACM
15 years 11 months ago
Classifying and assessing tremor movements for applications in man-machine intelligent user interfaces
We introduce a new intelligent user interface (IUI) and, also, a new methodology to identify the fatigue state for healthy subjects. The fatigue state is determined by means of a ...
Dan Marius Dobrea, Horia-Nicolai L. Teodorescu