620 search results - page 88 / 124 » Verification and Validation and Artificial Intelligence |
ECAL
1999
Springer
14 years 1 months ago
1999
Springer
Categorization dynamics as the clustering of words in word relation is studied by a constructive approach which is suited to inquire evolutionary linguistics with dynamical view on...
DAC
2001
ACM
14 years 9 months ago
2001
ACM
Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant effort has been devoted to trying to provide practical solutions to ...
ICAIL
2003
ACM
14 years 2 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
HYBRID
2010
Springer
13 years 10 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
ICCBR
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we revisit the trade-off between adaptation and retrieval effort traditionally held as a principle in case-based reasoning. This principle states that the time needed...