Sciweavers

3611 search results - page 502 / 723
» Computer Supported Collaborative Research
Sort
View
ICMCS
2005
IEEE
111views Multimedia» more  ICMCS 2005»
16 years 3 days ago
Video Based Online Behavior Detection Using Probabilistic Multi Stream Fusion
In the present treatise, we propose an approach for a highly configurable image based online person behaviour monitoring system. The particular application scenario is a crew sup...
Dejan Arsic, Frank Wallhoff, Björn Schuller, ...
GCC
2005
Springer
16 years 1 days ago
A Routing Protocol Based on Trust for MANETs
Abstract. Ad hoc network is a peer-to-peer grid system. The combination of the Knowledge Grid and ad hoc network could have a great effect on the future interconnection environment...
Cuirong Wang, Xiaozong Yang, Yuan Gao
GD
2005
Springer
16 years 1 days ago
Drawing Kn in Three Dimensions with One Bend Per Edge
We give a drawing of Kn in three dimensions in which vertices are placed at integer grid points and edges are drawn crossing-free with at most one bend per edge in a volume bounde...
Olivier Devillers, Hazel Everett, Sylvain Lazard, ...
LPAR
2005
Springer
16 years 14 hour ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand
HT
2004
ACM
15 years 12 months ago
Experiences migrating microcosm learning materials
Microcosm was an open hypertext system that evolved in the early 1990s, before the advent of the Web. Apart from its success as a research platform it was widely used for presenti...
H. C. Davis, R. A. Bacon