3719 search results - page 141 / 744 » order 2010 |
126
click to vote
JELIA
2010
Springer
14 years 10 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
90
Voted
ASPDAC
2010
ACM
14 years 11 months ago
2010
ACM
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
88
Voted
AR
2010
15 years 29 days ago
2010
This article investigates the influence of animal-like features (ears of a dragon lizard and crown of a cockatoo) and their pose variations on the quality of emotion expression of...
102
Voted
EOR
2007
15 years 23 days ago
2007
Classical vehicle routing problems typically do not consider the impact of delivery price on the demand for delivery services. Existing models seek the minimum sum of tour lengths...
89
Voted
LREC
2010
15 years 2 months ago
2010
In this paper we investigate the problem of merging specialist taxonomies with the more intuitive folk taxonomies in lexical-semantic resources like wordnets; and we focus in part...