2095 search results - page 75 / 419 » Describing Groups |
164
Voted
JSC
2002
15 years 4 months ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
119
Voted
INEX
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes the retrieval approach proposed by the SIG/EVI group of the IRIT research centre in INEX’2004 evaluation. The approach uses a voting method coupled with some...
115
click to vote
DEXAW
2003
IEEE
15 years 10 months ago
2003
IEEE
The ‘theorise-inquire’ technique is described, which supports the testing of both experts’ hunches and the quality of data sources. This technique is useful for the identifi...
140
click to vote
CASON
2009
IEEE
15 years 12 months ago
2009
IEEE
In this paper we try to consider a Web page as information with social aspects. Each Web page is the result of invisible social interaction. This interaction between different gro...
115
Voted
IADIS
2004
15 years 6 months ago
2004
The paper discusses methods of enabling bi- or multi-lingual people to communicate effectively with each other within one virtual discussion space. The writer's own experimen...