Sciweavers

1011 search results - page 177 / 203
» The three dimensions of proofs
Sort
View
CAISE
2003
Springer
15 years 11 months ago
Hybrid Publish-Subscribe: A Compromise Approach for Large-Scale
Abstract. The purpose of this article is to propose a scalable, topologically and traffic-wise self-adapting approach to a publish/subscribe paradigm for supporting event-based app...
Roman Szarowski
IWIPS
2007
113views Business» more  IWIPS 2007»
15 years 7 months ago
Cross Cultural Study: Perception, Usage, and Adoption of Technology
The primary goal of the project was to understand the cultural similarities and differences in perception, adoption and usage of technology across three cultures (US, India and Ch...
Apala Lahiri Chavan, Beena Prabhu, Warren Greving
CEC
2010
IEEE
15 years 7 months ago
Learning-assisted evolutionary search for scalable function optimization: LEM(ID3)
Inspired originally by the Learnable Evolution Model(LEM) [5], we investigate LEM(ID3), a hybrid of evolutionary search with ID3 decision tree learning. LEM(ID3) involves interleav...
Guleng Sheri, David Corne
AMC
2010
175views more  AMC 2010»
15 years 6 months ago
An inexact parallel splitting augmented Lagrangian method for large system of linear equations
: Parallel iterative methods are powerful tool for solving large system of linear equations (LEs). The existing parallel computing research results are focussed mainly on sparse sy...
Zheng Peng, DongHua Wu
IJRR
2010
113views more  IJRR 2010»
15 years 4 months ago
On the Topology of Discrete Strategies
This paper explores a topological perspective of planning in the presence of uncertainty, focusing on tasks specified by goal states in discrete spaces. The paper introduces stra...
Michael Erdmann