Sciweavers

6168 search results - page 1037 / 1234
» Research methods for HCI
Sort
View
JIIS
2002
118views more  JIIS 2002»
15 years 6 months ago
Authorization and Access Control of Application Data in Workflow Systems
: Workflow Management Systems (WfMSs) are used to support the modeling and coordinated execution of business processes within an organization or across organizational boundaries. A...
Shengli Wu, Amit P. Sheth, John A. Miller, Zongwei...
JAIR
1998
97views more  JAIR 1998»
15 years 6 months ago
The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
Oleg Ledeniov, Shaul Markovitch
MLQ
1998
126views more  MLQ 1998»
15 years 6 months ago
Reverse Mathematics and Recursive Graph Theory
We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theor...
William I. Gasarch, Jeffry L. Hirst
MR
2002
62views Robotics» more  MR 2002»
15 years 6 months ago
Impact of circuit resistance on the breakdown voltage of tantalum chip capacitors
Experiments are described in this paper whose results suggest a clear mathematical relationship between total circuit resistance (including the capacitor's ESR) and the volta...
Erik K. Reed, Jonathan L. Paulsen
PR
2002
81views more  PR 2002»
15 years 6 months ago
Generalised correlation for multi-feature correspondence
Computing correspondences between pairs of images is fundamental to all structures from motion algorithms. Correlation is a popular method to estimate similarity between patches o...
C. V. Jawahar, P. J. Narayanan
« Prev « First page 1037 / 1234 Last » Next »