606 search results - page 99 / 122 » Answer Diversification for Complex Question Answering on the... |
101
click to vote
TOOLS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
101
click to vote
SMC
2007
IEEE
15 years 6 months ago
2007
IEEE
— Existing human performance taxonomies which mostly can answer the question “what factors could affect the result” rather than “why it happened”, are usually used to ana...
AIME
2007
Springer
15 years 6 months ago
2007
Springer
Traditional Chinese medicine (TCM) is an important avenue for disease prevention and treatment for the Chinese people and is gaining popularity among others. However, many remain s...
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
SEMWEB
2007
Springer
15 years 5 months ago
2007
Springer
The natural evolution of eGovernment is to go beyond the management of identities and therefore it is necessary to manage people, companies or organizations, and their capabilities...