1096 search results - page 45 / 220 » Computation Slicing: Techniques and Theory |
119
Voted
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
109
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
113
Voted
CORR
2008
Springer
15 years 18 days ago
2008
Springer
Abstract. We propose a number of techniques for learning a global ranking from data that may be incomplete and imbalanced -- characteristics that are almost universal to modern dat...
148
Voted
MP
2011
14 years 7 months ago
2011
We propose a number of techniques for obtaining a global ranking from data that may be incomplete and imbalanced — characteristics that are almost universal to modern datasets co...
105
Voted
EXPERT
2006
15 years 16 days ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...