8266 search results - page 373 / 1654 » Information About the Journal |
150
click to vote
TACAS
1999
Springer
15 years 11 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
164
click to vote
AMTA
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes the progress of a machine translation system from Chinese to English. The system is based on a reusable platform of MT software components. It's a rule-ba...
203
click to vote
IDS
1994
15 years 11 months ago
1994
An experimental 3D interface to an object oriented database is described. It is hoped that using such techniques will help make complex data structures more comprehensible and eas...
166
click to vote
IPMU
1994
Springer
15 years 11 months ago
1994
Springer
Bayes nets are seeing increasing use in expert systems [2, 6], and structural equations models continue to be popular in many branches of the social sciences [1]. Both types of mod...
164
Voted
EGOV
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents some future possibilities for eDemocracy tools and considers how these new technologies might conflict with our basic assumptions about what democracy should be...