455 search results - page 84 / 91 » Understanding Counterexamples with explain |
122
click to vote
KDD
2010
ACM
15 years 1 months ago
2010
ACM
In this paper, we present a novel exploratory visual analytic system called TIARA (Text Insight via Automated Responsive Analytics), which combines text analytics and interactive ...
112
click to vote
ELPUB
2008
ACM
15 years 26 days ago
2008
ACM
Being subscribed to a newspaper, readers expect some basic things: receiving their paper in their mailbox early in the morning, being able to read it privately when and where they...
ERLANG
2008
ACM
15 years 26 days ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
168
click to vote
ETVC
2008
15 years 26 days ago
2008
s of the LIX Fall Colloquium 2008: Emerging Trends in Visual Computing Frank Nielsen Ecole Polytechnique, Palaiseau, France Sony CSL, Tokyo, Japan Abstract. We list the abstracts o...
111
click to vote
FMSB
2008
15 years 19 days ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...