2399 search results - page 464 / 480 » Peer-to-peer form based web information systems |
GROUP
1993
ACM
13 years 11 months ago
1993
ACM
The Assistant for Cooperative Work (ASCW) is a powerful system for the management of distributed work. It consists of the Task Manager, the organizational information system TOSCA...
CADE
2001
Springer
14 years 7 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
DELFI
2007
13 years 9 months ago
2007
Abstract: Die Video-Suchmaschine OSOTIS erm¨oglicht eine automatische inhaltsbezogene Annotation von Videodaten und dadurch eine zielgenaue Suche auch innerhalb einzelner Videoauf...
BMCBI
2006
13 years 7 months ago
2006
Background: Multicategory Support Vector Machines (MC-SVM) are powerful classification systems with excellent performance in a variety of data classification problems. Since the p...
ICS
2010
Tsinghua U.
14 years 5 months ago
2010
Tsinghua U.
Computation in the physical world is restricted by the following spatial locality constraint: In a single unit of time, information can only travel a bounded distance in space. A ...