Sciweavers

1634 search results - page 249 / 327
» Reasoning about Knowledge Using Rough Sets
Sort
View
INFSOF
2006
72views more  INFSOF 2006»
13 years 10 months ago
Partial rollback in object-oriented/object-relational database management systems with dual buffer
Partial rollback mechanism has been widely supported by many database management systems (DBMSs). It allows a transaction to be rolled back partially, that is, only back to a cert...
Won-Young Kim, Byung Suk Lee, Kyu-Young Whang
ICLP
2007
Springer
14 years 2 months ago
Web Sites Verification: An Abductive Logic Programming Tool
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
Paolo Mancarella, Giacomo Terreni, Francesca Toni
CL
2012
Springer
12 years 22 days ago
Object swapping challenges: An evaluation of imageSegment
In object-oriented systems, runtime memory is composed of an object graph in which objects refer to other objects. This graph of objects evolves while the system is running. Graph...
Mariano Martinez Peck, Noury Bouraqadi, Sté...
BMCBI
2008
116views more  BMCBI 2008»
13 years 10 months ago
Structuring an event ontology for disease outbreak detection
Background: This paper describes the design of an event ontology being developed for application in the machine understanding of infectious disease-related events reported in natu...
Ai Kawazoe, Hutchatai Chanlekha, Mika Shigematsu, ...
JHSN
2007
78views more  JHSN 2007»
13 years 10 months ago
Understanding of human behaviors from videos in nursing care monitoring systems
Abstract. This paper addresses the issue in scenario-based understanding of human behavior from videos in a nursing care monitoring system. The analysis is carried out based on exp...
Chin-De Liu, Pau-Choo Chung, Yi-Nung Chung, Moniqu...