Search Sciweavers | Sciweavers

4266 search results - page 71 / 854

» A Framework for Defining Logics

click to vote

ICEIS
2009
IEEE

90views Information Technology» more ICEIS 2009»

A Logic Programming Framework for Learning by Imitation

15 years 4 months ago

Download www.di.uniba.it

Grazia Bombini, Nicola Di Mauro, Teresa Maria Alto...

claim paper

Read More »

click to vote

IDEAS
2009
IEEE

108views Database» more IDEAS 2009»

A logical framework for detecting anomalies in drug resistance algorithms

15 years 4 months ago

Download www.science.uva.nl

Luciano Caroprese, Peter M. A. Sloot, Breannd&aacu...

claim paper

Read More »

click to vote

CONCUR
2009
Springer

187views Distributed And Parallel Com...» more CONCUR 2009»

A Logic-Based Framework for Reasoning about Composite Data Structures

15 years 4 months ago

Download www.memics.cz

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...

claim paper

Read More »

click to vote

ICEIS
2008
IEEE

110views Information Technology» more ICEIS 2008»

Flexibility, Completeness and Soundness of User Interfaces - Towards a Framework for Logical Examination of Usability Design Pri

15 years 4 months ago

Download www.ia.hiof.no

Steinar Kristoffersen

claim paper

Read More »

click to vote

TASE
2007
IEEE

75views Software Engineering» more TASE 2007»

A Logical Framework for Monitoring and Evolving Software Components

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers