7213 search results - page 999 / 1443 » Automated model grouping |
200
click to vote
CSL
2003
Springer
16 years 1 days ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
190
click to vote
ICCBR
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...
157
click to vote
ILP
2003
Springer
16 years 1 days ago
2003
Springer
We study several complexity parameters for first order formulas and their suitability for first order learning models. We show that the standard notion of size is not captured by...
170
click to vote
AINA
2010
IEEE
15 years 12 months ago
2010
IEEE
Intelligent connected devices become a more vital part of our lives. In contrast to prior years, today embedded systems and devices are loosely coupled and cooperate with each oth...
158
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...