10916 search results - page 180 / 2184 » On Constructive Connectives and Systems |
141
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
171
click to vote
CGVR
2006
15 years 8 months ago
2006
In this paper, we present the results of a comparative evaluation of a "virtual Lego" system against real Lego bricks with novice users. The virtual Lego system was desi...
170
click to vote
AAAI
1993
15 years 8 months ago
1993
Knowledge-based natural language processing systems have achieved good success with certain tasks but they are often criticized because they depend on a domain-specific dictionar...
180
click to vote
ECIR
1998
Springer
15 years 8 months ago
1998
Springer
The automatic construction of hypertext is an important part of the hypertext authoring process. This paper presents the NHS system, a system that automatically creates links for ...
172
click to vote
EWMF
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we review two techniques for topic discovery in collections of text documents (Latent Semantic Indexing and K-Means clustering) and present how we integrated them in...