2214 search results - page 26 / 443 » Complexity of Reasoning |
171
click to vote
TIME
2008
IEEE
16 years 8 days 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...
148
click to vote
ADC
2004
Springer
15 years 11 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...
139
click to vote
ICCBR
2009
Springer
16 years 14 days 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...
157
click to vote
DEXAW
1999
IEEE
15 years 10 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...
180
click to vote
MABS
2000
Springer
15 years 9 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...