Sciweavers

FLAIRS
2001
13 years 9 months ago
A Computational Model for Portfolios of Cooperative Heterogeneous Algorithms for Discrete Optimization
Discrete optimization problemsarise throughout many real world domainsincluding planning, decision making, and search. NP-hardin general, these problems require novel approachesto...
Eugene Santos Jr.
IJIT
2004
13 years 9 months ago
Rule-Based Message Passing for Collaborative Application in Distributed Environments
In this paper, we describe a rule-based message passing method to support developing collaborative applications, in which multiple users share resources in distributed environments...
Wataru Yamazaki, Hironori Hiraishi, Fumio Mizoguch...
FLAIRS
2001
13 years 9 months ago
Skill Refinement through Competence Feedback
Learningis generally performedin twostages, knowledge acquisition and skill refinement. Developments within machinelearning havetended to concentrate on knowledgeacquisition as op...
David W. Patterson, Sarabjot S. Anand, John G. Hug...
FLAIRS
2001
13 years 9 months ago
Extracting Partial Structures from HTML Documents
The new wrapper model for extractiong text data from HTML documents is introduced. The Kushmerick's wrapper class (Kusshmerick 2000) may be unsuccessful in the case that suff...
Hiroshi Sakamoto, Yoshitsugu Murakami, Hiroki Arim...
IJIT
2004
13 years 9 months ago
Formal Verification of a Multicast Protocol In Mobile Networks
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
Mohammad Reza Matash Borujerdi, S. M. Mirzababaei
FLAIRS
2001
13 years 9 months ago
Binary Representations for General CSPs
Wanlin Pang, Scott D. Goodwin
IJIT
2004
13 years 9 months ago
Modeling Biology Inspired Reactive Agents Using X-machines
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
George Eleftherakis, Petros Kefalas, Anna Sotiriad...
FLAIRS
2001
13 years 9 months ago
Distributed Satellite Constellation Planning and Scheduling
Robert A. Richards, Ryan T. Houlette, John L. Moha...
IJIT
2004
13 years 9 months ago
A Constructive Problem Solver Approach for Building Agriculture Disorder Treatment Task
Expert systems development is a complex and expensive process that needs to be applied in an organized manner. This paper presents an approach for building a generic treatment mode...
Abeer El-Korany, Ahmed A. Rafea
FLAIRS
2001
13 years 9 months ago
Syntactic-Level Ontology Integration Rules for E-Commerce
Electronic marketplaces, or e-commerce portals, bring together many online suppliers and buyers. Each individual participant can potentially use his own format to represent the pr...
Borys Omelayenko