663 search results - page 121 / 133 » What Is a Concept |
148
click to vote
FQAS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. With more and more electronic information sources becoming widely available, the issue of the quality of these often-competing sources has become germane. We propose a st...
176
click to vote
CHI
1997
ACM
15 years 8 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
115
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
142
click to vote
HICSS
1994
IEEE
15 years 8 months ago
1994
IEEE
Meeting research and especially research on Computer Supported Meetings of natural teams is not available in abundance. What is reported of meetings often uses a rather limited th...
140
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
In the A-calculus, there is a standard notion of what terms should be considered to be "undefined": the unsolvable terms. There are various equivalent characterisations o...