4469 search results - page 491 / 894 » Dynamic Program Slicing |
179
Voted
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
161
Voted
IDA
2007
Springer
16 years 1 months ago
2007
Springer
We present a new machine learning approach to the inverse parametric sequence alignment problem: given as training examples a set of correct pairwise global alignments, find the p...
214
Voted
ILP
2007
Springer
16 years 1 months ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
164
click to vote
WMTE
2006
IEEE
16 years 26 days ago
2006
IEEE
Practitioners interested in integrating mobile technology effectively into distance learning programs need to consider both the benefits and limitations of such devices. This pape...
169
Voted
CONEXT
2006
ACM
16 years 25 days ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...