2835 search results - page 363 / 567 » Automatic Question Answering |
140
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
A modelling procedure consists of a sequence of modelling tasks. With the increasing size of models during the development, the relations among modelling objects and their correspo...
145
click to vote
ICWL
2007
Springer
16 years 21 days ago
2007
Springer
AGILMAT is a web application designed to help students learn Mathematics, with focus on high-school algebra and calculus drills. A modular and extensible architecture and a wizard-...
175
click to vote
SARA
2007
Springer
16 years 20 days ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
158
click to vote
CAV
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
161
click to vote
AIRS
2004
Springer
15 years 12 months ago
2004
Springer
Carrying out experiments in Information Retrieval is a heavy activity requiring fast tools to treat collections of significant size, and at the same time flexible tools to leave...