Sciweavers

3283 search results - page 239 / 657
» Designing Agent Based Travel Support System
Sort
View
IFL
1998
Springer
113views Formal Methods» more  IFL 1998»
15 years 3 months ago
Shared Memory Multiprocessor Support for SAC
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
Clemens Grelck
MPC
1995
Springer
91views Mathematics» more  MPC 1995»
15 years 2 months ago
A Refinement Relation Supporting the Transition from Unbounded to Bounded Communication Buffers
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
Ketil Stølen
CDC
2009
IEEE
117views Control Systems» more  CDC 2009»
15 years 3 months ago
Risk sensitive robust support vector machines
— We propose a new family of classification algorithms in the spirit of support vector machines, that builds in non-conservative protection to noise and controls overfitting. O...
Huan Xu, Constantine Caramanis, Shie Mannor, Sungh...
NETWORKS
2008
14 years 11 months ago
Decontamination of hypercubes by mobile agents
In this paper we consider the decontamination problem in a hypercube network of size n. The nodes of the network are assumed to be contaminated and they have to be decontaminated ...
Paola Flocchini, Miao Jun Huang, Flaminia L. Lucci...
AAAI
2006
15 years 14 days ago
Large Scale Knowledge Base Systems: An Empirical Evaluation Perspective
In this paper, we discuss how our work on evaluating Semantic Web knowledge base systems (KBSs) contributes to address some broader AI problems. First, we show how our approach pr...
Yuanbo Guo, Abir Qasem, Jeff Heflin