Sciweavers

4870 search results - page 410 / 974
» Construction of Wavelets and Applications
Sort
View
SOSP
1993
ACM
15 years 9 months ago
Understanding the Limitations of Causally and Totally Ordered Communication
Causally and totally ordered communication support (CATOCS) has been proposed as important to provide as part of the basic building blocks for constructing reliable distributed sy...
David R. Cheriton, Dale Skeen
AAAI
1990
15 years 9 months ago
Mechanizing Inductive Reasoning
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
Emmanuel Kounalis, Michaël Rusinowitch
181
Voted
ANOR
2010
102views more  ANOR 2010»
15 years 7 months ago
Ejection chain and filter-and-fan methods in combinatorial optimization
The design of effective neighborhood structures is fundamentally important for creating better local search and metaheuristic algorithms for combinatorial optimization. Significant...
César Rego, Fred Glover
ENGL
2008
68views more  ENGL 2008»
15 years 7 months ago
Robust Adaptive Control of a Large Spacecraft
This paper deals with the applicability of Robust Adaptive Control to the attitude motion control of large spacecraft. Large spacecraft and space structures, such as large communic...
Shinichi Tsuda, Koichi Sakano
ISCI
2008
139views more  ISCI 2008»
15 years 7 months ago
Easishop: Ambient intelligence assists everyday shopping
E-commerce has been one of the success stories of the last decade. Developments in wireless communications and mobile computing have heralded an era of mobile commerce (m-commerce...
Stephen Keegan, Gregory M. P. O'Hare, Michael J. O...