12194 search results - page 396 / 2439 » cans 2010 |
175
click to vote
PASTE
2010
ACM
15 years 12 months ago
2010
ACM
Large clusters of mutual dependence can cause problems for comprehension, testing and maintenance. This paper introduces the concept of coherent dependence clusters, techniques fo...
178
Voted
TAP
2010
Springer
15 years 12 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...
155
click to vote
HAPTICS
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper we analyze the transparency of the generalized scattering transformation applied to teleoperation systems with constant time delay. Particularly, the human operator, ...
145
Voted
CIE
2010
Springer
15 years 11 months ago
2010
Springer
A useful theorem of Kuˇcera states that given a Martin-L¨of random infinite binary sequence ω and an effectively open set A of measure less than 1, some tail of ω is not in A...
176
click to vote
IPMU
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Dialogue moves influence and are influenced by the agents’ preferences. We propose a method for modelling this interaction. We motivate and describe a recursive metho...