12052 search results - page 551 / 2411 » computing 2010 |
172
click to vote
TCS
2010
15 years 5 months ago
2010
Subbisimilarity is proposed as a general tool to classify the relative expressive power of process calculi. The expressiveness of several variants of CCS is compared in terms of t...
204
click to vote
APVIS
2010
15 years 8 months ago
2010
Understanding fluid flow is a difficult problem and of increasing importance as computational fluid dynamics produces an abundance of simulation data. Experimental flow analysis h...
139
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Selective availability in instant messaging can improve connectiveness while at the same time keeping disruption low. In this paper we report on an experience sampling study of se...
172
click to vote
ACMIDC
2010
15 years 10 months ago
2010
Marginalization threatens basic issues of fairness and equal opportunity for a significant portion of children around the n this extended abstract, we frame the problem of margina...
214
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...