Sciweavers

1484 search results - page 284 / 297
» A Coordination Model for Interactive Components
Sort
View
NLE
2008
109views more  NLE 2008»
14 years 11 months ago
Natural language processing in CLIME, a multilingual legal advisory system
This paper describes clime, a web-based legal advisory system with a multilingual natural language interface. clime is a `proof-of-concept' system which answers queries relat...
Roger Evans, Paul Piwek, Lynne J. Cahill, Neil Tip...
ISSTA
2004
ACM
15 years 4 months ago
An optimizing compiler for batches of temporal logic formulas
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
James Ezick
GPCE
2009
Springer
15 years 3 months ago
Algorithms for user interfaces
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
Jaakko Järvi, Mat Marcus, Sean Parent, John F...
CSE
2009
IEEE
15 years 2 months ago
Churn Prediction in MMORPGs: A Social Influence Based Approach
Massively Multiplayer Online Role Playing Games (MMORPGs) are computer based games in which players interact with one another in the virtual world. Worldwide revenues for MMORPGs h...
Jaya Kawale, Aditya Pal, Jaideep Srivastava
EMSOFT
2008
Springer
15 years 2 days ago
On the interplay of dynamic voltage scaling and dynamic power management in real-time embedded applications
Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two popular techniques commonly employed to save energy in real-time embedded systems. DVS policies aim at red...
Vinay Devadas, Hakan Aydin