648 search results - page 48 / 130 » Feature driven browsing |
101
click to vote
ICSE
1999
IEEE-ACM
15 years 3 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
108
click to vote
EWNLG
1993
15 years 3 months ago
1993
Abstract. An active research programme in Natural Language Generation has grown up around the notion of `coherence relations'. Relations are being used in a variety of roles i...
ADC
2008
Springer
15 years 1 months ago
2008
Springer
As the XML has become a standard for data representation, it is inevitable to propose and implement techniques for efficient managing of XML data. A natural alternative is to expl...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Ambient intelligence (AmI) is a promising paradigm for humancentred interaction based on mobile and context-aware computing, natural interfaces and collaborative work. AM...
120
click to vote
EMNLP
2004
15 years 15 days ago
2004
Anticipating the availability of large questionanswer datasets, we propose a principled, datadriven Instance-Based approach to Question Answering. Most question answering systems ...