1413 search results - page 11 / 283 » ideas 2007 |
BCSHCI
1997
15 years 1 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...
79
Voted
ESWS
2007
Springer
15 years 6 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
15 years 1 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 12 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
15 years 1 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 ...