2701 search results - page 319 / 541 » On the form of witness terms |
182
click to vote
DLS
2007
15 years 10 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
171
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
152
click to vote
ACMIDC
2010
15 years 10 months ago
2010
Since the nineties, storytelling has received increasing attention in the HCI, IDC, and AI communities, exploring the potential of interactivity and multimedia as a means to promo...
172
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
In the traditional link prediction problem, a snapshot of a social network is used as a starting point to predict, by means of graph-theoretic measures, the links that are likely ...
209
Voted
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...