1515 search results - page 41 / 303 » On the relation of aspects and monads |
AIR
2004
13 years 7 months ago
2004
Numerous temporal relations of verbal actions have been analysed in terms of various grammatical means of expressing verbal temporalisation such as tense, aspect, duration and iter...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
One of the important aspects in digital video applications is spatial and temporal characteristic. A very little progress has been achieved on spatiotemporal modeling of video dat...
AINA
2006
IEEE
13 years 11 months ago
2006
IEEE
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. In order to improve aspects as versatility, persistence,...
AAAI
1997
13 years 9 months ago
1997
We propose a 3D computational model for projective relations which is used in an integrated image and speech understanding system. The image and speech understanding system is bei...
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...