645 search results - page 43 / 129 » Pure patterns type systems |
101
click to vote
CHI
2009
ACM
16 years 12 days ago
2009
ACM
The Web is a dynamic, ever-changing collection of information accessed in a dynamic way. This paper explores the relationship between Web page content change (obtained from an hou...
103
click to vote
KCAP
2009
ACM
15 years 6 months ago
2009
ACM
The extensive work on Knowledge Engineering in the 1990s has resulted in a systematic analysis of task-types, and the corresponding problem solving methods that can be deployed fo...
ER
2007
Springer
15 years 6 months ago
2007
Springer
With regard to environmental decision-making, the field of conceptual modelling is primarily focused on representation and visualisation. As such, the ‘soft’ problem structuri...
115
click to vote
FROCOS
2005
Springer
15 years 5 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
105
click to vote
MMS
1998
14 years 11 months ago
1998
This paper describes an event–based synchronization mechanism, which is at the core of the inter– media synchronization in the upcoming standard for Multimedia Presentation, PR...