Search Sciweavers | Sciweavers

4266 search results - page 71 / 854

» A Framework for Defining Logics

104

click to vote

ICEIS
2009
IEEE

90views Information Technology» more ICEIS 2009»

A Logic Programming Framework for Learning by Imitation

16 years 28 days ago

Download www.di.uniba.it

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

claim paper

Read More »

130

click to vote

IDEAS
2009
IEEE

108views Database» more IDEAS 2009»

A logical framework for detecting anomalies in drug resistance algorithms

16 years 28 days ago

Download www.science.uva.nl

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

claim paper

Read More »

133

click to vote

CONCUR
2009
Springer

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

A Logic-Based Framework for Reasoning about Composite Data Structures

16 years 26 days ago

Download www.memics.cz

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

claim paper

Read More »

157

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

16 years 22 days ago

Download www.ia.hiof.no

Steinar Kristoffersen

claim paper

Read More »

129

click to vote

TASE
2007
IEEE

75views Software Engineering» more TASE 2007»

A Logical Framework for Monitoring and Evolving Software Components

16 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers