Sciweavers

1937 search results - page 175 / 388
» Rule Based Updates on Simple Knowledge Bases
Sort
View
ICPR
2000
IEEE
16 years 5 months ago
Image Representational Model for Predicting Visual Distinctness of Objects
Here we show that a notion of congruence in statistical structureacross2 0frequency bandsproduces a useful definition of visualpatterns for perceiving target distinctness. In orde...
J. Chamorro, Javier Martinez-Baena, Rosa Rodriguez...
ICWE
2010
Springer
15 years 3 months ago
Connecting Smart Things through Web Services Orchestrations
The Web of Things is an emerging scenario in which objects are connected to Internet and can answer to HTTP queries. To date, new applications in this field are mainly produced by ...
Antonio Pintus, Davide Carboni, Andrea Piras, Ales...
IADIS
2003
15 years 6 months ago
DENOFAS: A Vulnerability Assessment Tool
This paper describes the development of a software tool for detection of vulnerabilities in networked systems, using public available security resources. Our tool builds is knowle...
Rui Costa Cardoso, Mário M. Freire
BMCBI
2010
178views more  BMCBI 2010»
15 years 4 months ago
Applications of a formal approach to decipher discrete genetic networks
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
Fabien Corblin, Eric Fanchon, Laurent Trilling
RULEML
2009
Springer
15 years 11 months ago
The Making of SPINdle
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
Ho-Pun Lam, Guido Governatori