3928 search results - page 167 / 786 » order 2006 |
152
click to vote
JDA
2006
15 years 4 months ago
2006
Abstract. Sreedhar et al. [SGL98, Sre95] have presented an eliminationbased algorithm to solve data flow problems. A thorough analysis of the algorithm shows that the worst-case pe...
142
click to vote
JEI
2006
15 years 4 months ago
2006
The method of paired comparison based on Thurstone's Case V of his Law of Comparative Judgments is often used as a psychophysical method to derive interval scales of perceptua...
103
click to vote
JFP
2006
15 years 4 months ago
2006
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
153
click to vote
JIKM
2006
15 years 4 months ago
2006
In the development of location-based services, various location-sensing techniques and experimental/commercial services have been used. However, conventional location-based service...
135
click to vote
JLP
2006
15 years 4 months ago
2006
This paper presents a modular framework for the specification of certain inductivelydefined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the catego...