1219 search results - page 129 / 244 » Towards automatization of domain modeling |
174
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
Answer patterns have been shown to improve the performance of open-domain factoid QA systems. Their use, however, requires either constructing the patterns manually or developing ...
151
click to vote
PRICAI
1998
Springer
15 years 10 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
154
click to vote
SARA
2007
Springer
16 years 13 days ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
199
click to vote
ISORC
2005
IEEE
15 years 12 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
180
click to vote
FIDJI
2003
Springer
15 years 11 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...