Sciweavers

4894 search results - page 24 / 979
» Choices
Sort
View
CAISE
2008
Springer
15 years 7 months ago
When Interaction Choices Trigger Business Evolutions
In the context of development methods, early collaborations between specialists (SE, HCI, business, usability experts . . . ) allows having a broader view of the development possib...
Guillaume Godet-Bar, Sophie Dupuy-Chessa, Dominiqu...
CIE
2008
Springer
15 years 7 months ago
The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF
The proof of the relative consistency of the axiom of choice has been mechanized using Isabelle/ZF, building on a previous mechanization of the reflection theorem. The heavy relia...
Lawrence C. Paulson
NAACL
2007
15 years 7 months ago
Near-Synonym Choice in an Intelligent Thesaurus
An intelligent thesaurus assists a writer with alternative choices of words and orders them by their suitability in the writing context. In this paper we focus on methods for auto...
Diana Zaiu Inkpen
RSA
2008
85views more  RSA 2008»
15 years 5 months ago
On a universal best choice algorithm for partially ordered sets
For the only known universal best choice algorithm for partially ordered sets with known cardinality and unknown order (proposed by J. Preater) we improve the estimation of the lo...
Nicholas Georgiou, Malgorzata Kuchta, Michal Moray...
ESWA
2011
237views Database» more  ESWA 2011»
15 years 22 days ago
Mining the optimal clustering of people's characteristics of health care choices
In Asian countries, it has been a multi-choice environment of health care for a long time. However, especially in Taiwan, people’s multiple health care seeking behavior has resu...
Chieh-Yu Liu, Jih-Shin Liu