12194 search results - page 396 / 2439 » cans 2010 |
195
Voted
PASTE
2010
ACM
16 years 20 days 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...
198
click to vote
TAP
2010
Springer
16 years 19 days 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...
171
Voted
HAPTICS
2010
IEEE
16 years 13 days 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, ...
162
Voted
CIE
2010
Springer
16 years 12 days 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...
196
click to vote
IPMU
2010
Springer
16 years 11 days 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...