Search Sciweavers | Sciweavers

4737 search results - page 168 / 948

» The LOGIC negotiation model

click to vote

ISSE
2010

125views Security Privacy» more ISSE 2010»

Lightweight analysis of access control models with description logic

13 years 8 months ago

Download www.artist-embedded.org

Christiano Braga, Edward Hermann Haeusler

claim paper

Read More »

click to vote

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

13 years 8 months ago

Download www.cs.sfu.ca

Shahab Tasharrofi, Eugenia Ternovska

claim paper

Read More »

click to vote

AI
2010
Springer

157views Artificial Intelligence» more AI 2010»

Learning complex action models with quantifiers and logical implications

13 years 8 months ago

Download www.zsusoft.com

Hankz Hankui Zhuo, Qiang Yang, Derek Hao Hu, Lei L...

claim paper

Read More »

click to vote

GCB
2009
Springer

196views Biometrics» more GCB 2009»

Comparative Generalized Logic Modeling Reveals Differential Gene Interactions during Cell Cycle Exit in Drosophila Wing Developm

13 years 7 months ago

Download www.cs.nmsu.edu

Abstract: A comparative interaction detection paradigm is proposed to study the complex gene regulatory networks that control cell proliferation during development. Instead of atte...

Mingzhou Song, Chung-Chien Hong, Yang Zhang, Laura...

claim paper

Read More »

click to vote

ATAL
2011
Springer

186views Intelligent Agents» more ATAL 2011»

Agents that speak: modelling communicative plans and information sources in a logic of announcements

12 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers