8780 search results - page 373 / 1756 » On the Feasibility of Consistent Computations |
208
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
189
click to vote
GPC
2010
Springer
15 years 9 months ago
2010
Springer
This paper advocated the use of ontology-supported website models to provide a semantic level solution for an information agent so that it can provide fast, precise, and stable que...
174
click to vote
CHI
2008
ACM
15 years 9 months ago
2008
ACM
This paper presents ongoing work towards development of a reporting tool that provides group work facilitators with insight into group work processes. The work includes three main...
247
click to vote
ACII
2005
Springer
15 years 9 months ago
2005
Springer
Hand tracking is a challenging problem due to the complexity of searching in a 20+ degrees of freedom (DOF) space for an optimal estimation of hand configuration. This paper repres...
191
click to vote
AINA
2005
IEEE
15 years 9 months ago
2005
IEEE
In Crypto’93, Stefan Brands [1] proposed a very efficient off-line electronic cash. Then, the subsequent researchers such as Ernest Foo [2,3], WK Yip [4] and Yiannis [5] develop...