7213 search results - page 1009 / 1443 » Automated model grouping |
245
click to vote
CIIA
2009
15 years 8 months ago
2009
Semantic Web Services (SWSs) aim to improve the possibilities for automated discovery, composition and invocation of Web Services by providing ontology-based service descriptions e...
142
Voted
FUNGAMES
2008
15 years 7 months ago
2008
We report on the construction of real-world dice equipped with radio frequency identification (RFID) technology that support the automated readout and processing of rolled results....
170
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Markov decision processes (MDPs) are widely used for modeling decision-making problems in robotics, automated control, and economics. Traditional MDPs assume that the decision mak...
213
Voted
ENTCS
2010
15 years 6 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
171
click to vote
IANDC
2008
15 years 6 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...