Registrera dig | Logga in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

jmackays library [21 articles]

Senaste artiklarna i jmackays bibliotek.
  • Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data
    (2001), pp. 282-289.
    by John Lafferty, Andrew Mccallum, Fernando Pereira
    posted to crf learning machine markov models statistical by jmackay on 2008-05-07 08:51:11 as **** along with 20 people and 4 groups davidr halacsy unnonouno balajis buescher76 wcohen sids j3xucite knmnyn student_t dwf bundschu johnkork koji_matsuda mkolar markusd vlachmore kohei-h oyen idornescu oktave-labs generif_paper Statistical Machine Learning WLV-RGCL
  • Stable models and an alternative logic programming paradigm
    (1999), pp. 375-398.
    by W Marek, M Truszczynski
    posted to logic models stable by jmackay on 2008-05-07 02:27:22 as **
  • A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming
    (2005), pp. 90-96.
    by Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
    edited by Leslie P Kaelbling, Alessandro Saffiotti, Leslie P Kaelbling, Alessandro Saffiotti
    posted to database datalog languages logic by jmackay on 2008-05-06 05:52:56 as **
  • Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
    Logics in Artificial Intelligence (2004), pp. 200-212.
    by Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    posted to datalog logic sql by jmackay on 2008-05-06 05:47:50 as ****
  • The Role of Abduction in Declarative Authorization Policies
    Practical Aspects of Declarative Languages (2008), pp. 84-99.
    by Moritz Becker, Sebastian Nanz
    posted to database datalog languages logic policy security tabled by jmackay on 2008-05-05 19:26:59 as read
  • A New Formulation of Tabled Resolution with Delay
    (1999), pp. 163-177.
    by Terrance Swift
    posted to no-tag by jmackay on 2008-05-03 23:47:05 as ***
  • An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
    ACM Trans. Program. Lang. Syst., Vol. 20, No. 3. (1998), pp. 586-634.
    by Konstantinos F Sagonas, Terrance Swift
    posted to database datalog languages logic tabled by jmackay on 2008-05-03 20:29:32 as **
  • Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies
    (1996), pp. 243-258.
    by Juliana Freire, Terrance Swift, David S Warren
    posted to database datalog logic prolog tabled xsb by jmackay on 2008-05-03 20:26:32 as ***
  • A Summary of XSB Performance
    by Terrance Swift, David S Warren
    posted to database datalog logic performance prolog xsb by jmackay on 2008-05-03 20:23:37 as ** along with 1 person baisemain
  • XSB as an efficient deductive database engine
    (1994), pp. 442-453.
    by Konstantinos Sagonas, Terrance Swift, David S Warren
    posted to database datalog logic prolog xsb by jmackay on 2008-05-03 20:22:56 as **** along with 1 person baisemain
  • Design and Semantics of a Decentralized Authorization Language
    Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE (2007), pp. 3-15.
    by Moritz Becker, Cedric Fournet, Andrew Gordon
    posted to datalog distributed languages logic security systems by jmackay on 2008-05-02 09:43:11 as read along with 1 person weqa
  • A Logic for State-Modifying Authorization Policies
    Computer Security – ESORICS 2007 (2007), pp. 203-218.
    by Moritz Becker, Sebastian Nanz
    posted to no-tag by jmackay on 2008-05-02 09:41:29 as read
  • Cassandra: Flexible Trust Management, Applied to Electronic Health Records
    by Moritz Y Becker, Peter Sewell
    posted to distributed languages logic policy security systems by jmackay on 2008-05-02 09:32:56 as read
  • Logicflow execution model for parallel databases
    Future Gener. Comput. Syst., Vol. 16, No. 6. (April 2000), pp. 677-692.
    by Peter Kacsuk, Norbert Podhorszki
    posted to concurrency logic by jmackay on 2008-05-01 06:34:22 as **
  • Prolog on the multithreaded Datarol-II machine based on the logicflow execution model
    Parallel and Distributed Processing, 1996. Eighth IEEE Symposium on (1996), pp. 112-121.
    by P Kacsuk, M Amamiya
    posted to concurrency logic prolog by jmackay on 2008-05-01 06:33:46 as **
  • A multithreaded implementation concept of prolog on Datarol-II machine
    High Performance Computing (1997), pp. 91-106.
    by Peter Kacsuk, Makoto Amamiya
    posted to concurrency logic prolog by jmackay on 2008-05-01 06:30:43 as **
  • Alternative proposals for implementing Prolog concurrently and implications regarding their respective microarchitectures
    (1984), pp. 192-203.
    by Carl G Ponder, Yale N Patt
    posted to concurrency logic prolog by jmackay on 2008-05-01 06:30:25 as **
  • codeQuest: Scalable Source Code Queries with Datalog
    ECOOP 2006 – Object-Oriented Programming (2006), pp. 2-27.
    by Elnar Hajiyev, Mathieu Verbaere, Oege de Moor
    posted to analysis code database datalog logic sql by jmackay on 2008-05-01 06:29:15 as ** along with 1 person KarlKlose
  • Implementing Prolog Programs Free from Unification
    (1994), pp. 36-39.
    by Paolo Frigo, Massimo Marchiori
    posted to no-tag by jmackay on 2008-05-01 06:24:22 as **
  • Logic Programming and Negation: A Survey
    Journal of Logic Programming, Vol. 19/20 (1994), pp. 9-71.
    by Krzysztof R Apt, Roland N Bol
    posted to logic negation by jmackay on 2008-05-01 06:22:08 as *** along with 1 person vme64
  • Computing Machinery and Intelligence
    Mind, Vol. LIX (1950), pp. 433-460.
    by Alan M Turing
    posted to artificial intelligence test turing by jmackay on 2008-04-09 07:04:49 as read
    • Du kan hänvisa till den här sidan som: http://www.citeulike.org/user/jmackay

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.