Search Sciweavers | Sciweavers

2529 search results - page 62 / 506

» The Logical Structure of Binding

click to vote

DLOG
2007

106views Automated Reasoning» more DLOG 2007»

Description Logics in the Calculus of Structures

15 years 7 months ago

Download dl.kr.org

Jean-David Roubach, Pascal Yim, Joaquin Rodriguez

claim paper

Read More »

137

click to vote

ISLPED
2007
ACM

142views Hardware» more ISLPED 2007»

Clocking structures and power analysis for nanomagnet-based logic devices

15 years 6 months ago

Download www.nd.edu

Michael T. Niemier, M. Alam, Xiaobo Sharon Hu, Gar...

claim paper

Read More »

129

click to vote

SCAI
2008

228views Artificial Intelligence» more SCAI 2008»

Probabilistic-Logic Models: Reasoning and Learning with Relational Structures

15 years 6 months ago

Download www.cs.aau.dk

Manfred Jaeger

claim paper

Read More »

110

click to vote

PSB
2003

112views Applied Computing» more PSB 2003»

Towards Discovering Structural Signatures of Protein Folds Based on Logical Hidden Markov Models

15 years 6 months ago

Download helix-web.stanford.edu

Kristian Kersting, Tapani Raiko, Stefan Kramer, Lu...

claim paper

Read More »

102

click to vote

ENTCS
2008

97views more ENTCS 2008»

Structured Types and Separation Logic

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers