Sciweavers

4617 search results - page 342 / 924
» Automation of Diagrammatic Reasoning
Sort
View
PVLDB
2008
106views more  PVLDB 2008»
15 years 6 months ago
Automated creation of a forms-based database query interface
Forms-based query interfaces are widely used to access databases today. The design of a forms-based interface is often a key step in the deployment of a database. Each form in suc...
Magesh Jayapandian, H. V. Jagadish
SEMWEB
2010
Springer
15 years 4 months ago
Experience of Using OWL Ontologies for Automated Inference of Routine Pre-operative Screening Tests
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
Matt-Mouley Bouamrane, Alan L. Rector, Martin Hurr...
ICIAP
2009
ACM
16 years 7 months ago
Towards a Subject-Centered Analysis for Automated Video Surveillance
In a typical video surveillance framework, a single camera or a set of cameras monitor a scene in which human activities are carried out. In this paper, we propose a complementary ...
Michela Farenzena, Loris Bazzani, Vittorio Murino,...
CHI
2006
ACM
16 years 7 months ago
Generating automated predictions of behavior strategically adapted to specific performance objectives
It has been well established in Cognitive Psychology that humans are able to strategically adapt performance, even highly skilled performance, to meet explicit task goals such as ...
Katherine Eng, Richard L. Lewis, Irene Tollinger, ...
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 7 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng