Sciweavers

11963 search results - page 2139 / 2393
» A framework for linguistic modelling
Sort
View
LICS
2000
IEEE
15 years 11 months ago
Automatic Structures
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
Achim Blumensath, Erich Grädel
SSDBM
2000
IEEE
155views Database» more  SSDBM 2000»
15 years 11 months ago
Knowledge-Based Integration of Neuroscience Data Sources
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
Amarnath Gupta, Bertram Ludäscher, Maryann E....
ACMDIS
2000
ACM
15 years 11 months ago
Meta-Design: Design for Designers
One fundamental challenge for the design of the interactive systems of the future is to invent and design environments and cultures in which humans can express themselves and enga...
Gerhard Fischer, Eric Scharff
SAC
2000
ACM
15 years 11 months ago
A Mobile Agent Infrastructure for the Mobility Support
The mobility of terminals and users is a crucial issue in the open global system represented by the Internet. Supporting terminal and user mobility requires a middleware infrastru...
Paolo Bellavista, Antonio Corradi, Cesare Stefanel...
CAISE
2000
Springer
15 years 11 months ago
CHAOS: An Active Security Mediation System
With the emergence of the Internet, collaborative computing has become more feasible than ever. Organizations can share valuable information among each other. However, certain user...
David Liu, Kincho H. Law, Gio Wiederhold
« Prev « First page 2139 / 2393 Last » Next »