1368 search results - page 22 / 274 » Personality-Based Practical Reasoning |
142
click to vote
COMPOS
1997
Springer
15 years 6 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
112
click to vote
IANDC
2010
14 years 11 months ago
2010
The Curry-Howard correspondence connects derivations in natural deduction with the lambdacalculus. Predicates are types, derivations are terms. This supports reasoning from assump...
99
Voted
HCI
2001
15 years 3 months ago
2001
The great variety of users of the services available on the internet raised the problem of finding flexible forms of presentation and interaction, which depend on the specific user...
101
click to vote
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
The lack of a common language and mutual understanding between the disciplines of systems development/software engineering and HCI does create challenges for both teaching and pra...
107
click to vote
CONTEXT
2007
Springer
15 years 8 months ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...