Sciweavers

1929 search results - page 126 / 386
» An Approach to Limit the Wynot Problem
Sort
View
FUIN
2006
95views more  FUIN 2006»
15 years 6 months ago
Multistrategy Operators for Relational Learning and Their Cooperation
Traditional Machine Learning approaches based on single inference mechanisms have reached their limits. This causes the need for a framework that integrates approaches based on aba...
Floriana Esposito, Nicola Fanizzi, Stefano Ferilli...
JUCS
2008
117views more  JUCS 2008»
15 years 6 months ago
Eliminating Cycles in Weak Tables
: Weak References constitute an elegant mechanism for an application to interact with its garbage collector. In most of its typical uses, weak references are used through weak tabl...
Alexandra Barros, Roberto Ierusalimschy
JSS
2006
99views more  JSS 2006»
15 years 6 months ago
Automatic generation of assumptions for modular verification of software specifications
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
Claudio de la Riva, Javier Tuya
INFSOF
2002
72views more  INFSOF 2002»
15 years 6 months ago
Multi-item auctions for automatic negotiation
Available resources can often be limited with regard to the number of demands. In this paper we propose an approach for solving this problem which consists of using the mechanisms...
Houssein Benameur, Brahim Chaib-draa, Peter G. Kro...
WICON
2010
15 years 4 months ago
A Novel Web-enabled Healthcare Solution on HealthVault System
Complicated Electronic Medical Records (EMR) systems have created problems in systems regarding an easy implementation and interoperability for a Web-enabled Healthcare Solution, w...
Lingxia Liao, Min Chen, Son Vuong, Xiaorong Lai