Sciweavers

5692 search results - page 96 / 1139
» Challenges and Unsolved Problems
Sort
View
90
Voted
IAT
2006
IEEE
15 years 6 months ago
Towards High-Level Programming for Distributed Problem Solving
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...
Ryan F. Kelly, Adrian R. Pearce
123
Voted
HIS
2008
15 years 2 months ago
Evolutionary Training Set Selection to Optimize C4.5 in Imbalanced Problems
Classification in imbalanced domains is a recent challenge in machine learning. We refer to imbalanced classification when data presents many examples from one class and few from ...
Salvador García, Francisco Herrera
93
Voted
FLAIRS
2006
15 years 2 months ago
Towards an Ontology-Driven Approach for the Interoperability Problem in Security Compliance
In today's IT-centric, regulated and competitive environment, businesses rely more heavily on IT technologies. Organizations are often challenged by customers, business partn...
Alfred Ka Yiu Wong, Nandan Paramesh, Pradeep Kumar...
81
Voted
FOCM
2002
83views more  FOCM 2002»
15 years 10 days ago
A Rigorous ODE Solver and Smale's 14th Problem
We present an algorithm for computing rigorous solutions to a large class of ordinary differential equations. The main algorithm is based on a partitioning process and the use of i...
Warwick Tucker
153
Voted
CORR
2011
Springer
215views Education» more  CORR 2011»
14 years 4 months ago
A Foundational View on Integration Problems
The integration of reasoning and computation services across system and language boundaries has been mostly treated from an engineering perspective. In this paper we take a foundat...
Florian Rabe, Michael Kohlhase, Claudio Sacerdoti ...