2586 search results - page 282 / 518 » Automatic Abstraction for Congruences |
183
click to vote
COMMA
2008
15 years 8 months ago
2008
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
165
click to vote
DBSEC
2007
15 years 8 months ago
2007
Abstract. Modern information systems require temporal and privilegeconsuming usage of digital objects. To meet these requirements, we present a new access control model–Times-bas...
190
click to vote
ESANN
2007
15 years 8 months ago
2007
Abstract. Given an appropriate imaging resolution, a common Magnetic Resonance Imaging (MRI) model assumes that object under study is composed of piecewise constant materials, so t...
180
click to vote
SE
2010
15 years 8 months ago
2010
Abstract: Recommender systems have become increasingly popular. Most of the research on recommender systems has focused on recommendation algorithms. There has been relatively litt...
183
click to vote
FMOODS
2008
15 years 8 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...