4617 search results - page 342 / 924 » Automation of Diagrammatic Reasoning |
161
click to vote
PVLDB
2008
15 years 6 months ago
2008
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...
172
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
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, ...
167
click to vote
ICIAP
2009
ACM
16 years 7 months ago
2009
ACM
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 ...
197
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
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 ...
192
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...