Sciweavers

732 search results - page 103 / 147
» Automated Test Generation from Models Based on Functional So...
Sort
View
BMCBI
2006
147views more  BMCBI 2006»
13 years 8 months ago
A case study in pathway knowledgebase verification
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
Stephen A. Racunas, Nigam Shah, Nina V. Fedoroff
HCI
2007
13 years 10 months ago
3D World from 2D Photos
A large number of the world's cultural heritage sites and landscapes have been lost over time due to the progress of urbanization. Digital archive projects that digitize these...
Takashi Aoki, Tomohiro Tanikawa, Michitaka Hirose
ACMICEC
2004
ACM
205views ECommerce» more  ACMICEC 2004»
14 years 2 months ago
M-Modeler: a framework implementation for modeling m-commerce applications
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
Ana Hilda Morales-Aranda, Oscar Mayora-Ibarra, San...
AAAI
2006
13 years 10 months ago
Preference Elicitation and Generalized Additive Utility
Any automated decision support software must tailor its actions or recommendations to the preferences of different users. Thus it requires some representation of user preferences ...
Darius Braziunas, Craig Boutilier
INFORMATICALT
2002
91views more  INFORMATICALT 2002»
13 years 8 months ago
Bayesian Heuristic Approach to Scheduling
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
Jonas Mockus