2214 search results - page 26 / 443 » Complexity of Reasoning |
105
click to vote
TIME
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
ADC
2004
Springer
15 years 5 months ago
2004
Springer
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...
ICCBR
2009
Springer
15 years 6 months ago
2009
Springer
Positive transfer learning (TL) occurs when, after gaining experience from learning how to solve a (source) task, the same learner can exploit this experience to improve performanc...
DEXAW
1999
IEEE
15 years 4 months ago
1999
IEEE
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relation...
103
click to vote
MABS
2000
Springer
15 years 3 months ago
2000
Springer
There is a growing belief that the agents' cognitive structures play a central role on the enhancement of predicative capacities of decision-making strategies. This paper anal...