58 search results - page 10 / 12 » Complex Interactive Question Answering Enhanced with Wikiped... |
93
Voted
TOOLS
2008
IEEE
15 years 4 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...
77
Voted
SEMWEB
2007
Springer
15 years 4 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...
88
Voted
FROCOS
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
101
Voted
CORR
2007
Springer
14 years 10 months ago
2007
Springer
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...
75
Voted
AVI
2008
15 years 17 days ago
2008
As information environments grow in complexity, we yearn for simple interfaces that streamline human cognition and effort. Users need to perform complex operations on thousands of...