Sciweavers

2399 search results - page 267 / 480
» Developing an Effective IT Integration and Support System
Sort
View
COLING
1992
15 years 5 months ago
The Kant System: Fast, Accurate, High-Quality Translation In Practical Domains
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
Eric Nyberg, Teruko Mitamura
AH
2006
Springer
15 years 6 months ago
Dynamic Content Discovery, Harvesting and Delivery, from Open Corpus Sources, for Adaptive Systems
Personalised elearning is being heralded as one of the grand challenges of next generation learning systems, in particular, its ability to support greater effectiveness, efficiency...
Séamus Lawless, Vincent Wade
POPL
2009
ACM
16 years 5 months ago
Verifying distributed systems: the operational approach
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
Tom Ridge
RTAS
1995
IEEE
15 years 8 months ago
ControlShell: component-based real-time programming
Real-time system software is notoriously hard to share and reuse. This paper walks through the methodology and application of ControlShell, a component-based programming system re...
Stanley A. Schneider, Vincent W. Chen, Gerardo Par...
DGO
2007
168views Education» more  DGO 2007»
15 years 6 months ago
A distributed event-triggered knowledge sharing system
Government agencies globally are facing problems such as illegal immigration, terrorism, and disease diagnosis and control. Solutions to these problems rely heavily on collaborati...
Seema Degwekar, Jeff DePree, Stanley Y. W. Su, How...