3771 search results - page 402 / 755 » Process modeling for future technologies |
180
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
162
click to vote
SPATIALCOGNITION
1998
Springer
15 years 11 months ago
1998
Springer
This chapter gives an overview of our ongoing experimental research in the MeMoSpace project, concerning the cognitive processes underlying human spatial reasoning. Our theoretical...
163
click to vote
IUI
2004
ACM
16 years 6 days ago
2004
ACM
A key to improving at any task is frequent feedback from people whose opinions we care about: our family, friends, mentors, and the experts. However, such input is not usually ava...
146
Voted
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
d abstract)1 Niek Bergboer Eric Postma Jaap van den Herik Institute for Knowledge and Agent Technology, Universiteit Maastricht, P.O. Box 616, 6200 MD Maastricht It is well known t...
215
click to vote
DAWAK
2006
Springer
15 years 10 months ago
2006
Springer
More and more integration systems use ontologies to solve the problem of semantic heterogeneities between autonomous databases. To automate the integration process, a number of the...