1413 search results - page 11 / 283 » ideas 2007 |
BCSHCI
1997
14 years 10 months ago
1997
We review HCI problems with hypertext, and for authoring World Wide Web documents in particular. We suggest that a framework is required to understand the usability issues, and th...
ESWS
2007
Springer
15 years 3 months ago
2007
Springer
Business processes are often statically implemented and may not be established ad-hoc. For the realization of dynamic process configurations that demand for changes in these imple...
EUSFLAT
2007
14 years 11 months ago
2007
We provide a method for constructing a class of multivariate copulas depending on a univariate function. We study some properties of this class and present several examples. The s...
AML
2006
14 years 9 months ago
2006
Abstract. The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable;...
CSC
2006
14 years 10 months ago
2006
This paper presents an analysis of ELIMINO, a computer-mathematics research system that has been developed at the Chinese Academy of Sciences. Also presented are ideas to improve ...