2867 search results - page 284 / 574 » Effectiveness of Index Expressions |
151
click to vote
ENTCS
2008
15 years 6 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
178
click to vote
EWC
2006
15 years 6 months ago
2006
Improvements to a local modification-based anisotropic mesh adaptation procedure are presented. The first improvement focuses on control of the local operations that modify the mes...
172
Voted
LOGCOM
2006
15 years 6 months ago
2006
In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The ...
162
click to vote
TIP
2008
15 years 6 months ago
2008
This paper proposes a non-Gaussian Markov field with a special feature: an explicit partition function. To the best of our knowledge, this is an original contribution. Moreover, th...
174
click to vote
HCI
2009
15 years 4 months ago
2009
Quantitative models of whole body expressive movement can be developed by combining methods form biomechanics, psychology, and statistics. The purpose of this paper was to use moti...