2452 search results - page 138 / 491 » The Case for Precision Sharing |
178
click to vote
AUTOMATICA
1999
15 years 7 months ago
1999
In this paper we study the well-posedness (existence and uniqueness of solutions) of linear relay systems with respect to two di erent solution concepts, Filippov solutions and fo...
256
click to vote
ISCI
2010
15 years 6 months ago
2010
: We investigate weighted finite automata over strings and strong bimonoids. Such algebraic structures satisfy the same laws as semirings except that no distributivity laws need t...
208
click to vote
CLIMA
2011
2011
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
14 years 7 months ago
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of t...
182
click to vote
CHI
2009
ACM
16 years 8 months ago
2009
ACM
In this paper, we present a case study of humaninformation interaction in the online realm of politics. The case study consists of a participant observed while searching and brows...
222
click to vote
ICCS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...