Sciweavers

1159 search results - page 48 / 232
» On The Next Move in Programming
Sort
View
90
Voted
ICMB
2005
IEEE
79views Business» more  ICMB 2005»
15 years 6 months ago
Identity Management in Vertical Handovers for UMTS-WLAN Networks
One motivation of mobile Next-Generation Networks (NGN) is the ubiquitous computing abilities, which provide automatic handovers for any moving computing devices in a globally net...
Mo Li, Kumbesan Sandrasegaran, Xiaoan Huang
ICRA
2005
IEEE
163views Robotics» more  ICRA 2005»
15 years 6 months ago
Circular/Spherical Robots for Crawling and Jumping
Abstract— We describe circular/spherical robots for crawling and jumping. Locomotion over rough terrain has been achieved mainly by rigid body systems including crawlers and leg ...
Yuuta Sugiyama, Ayumi Shiotsu, Masashi Yamanaka, S...
EURONGI
2005
Springer
15 years 6 months ago
P2P-Based Mobility Management for Heterogeneous Wireless Networks and Mesh Networks
Abstract. The recent emergence of a whole plethora of new wireless technologies, such as IEEE802.15, IEEE802.11, and UMTS, etc, has exposed the limitations of mobility solutions in...
Amine M. Houyou, Hermann de Meer, Moritz Esterhazy
FCT
2005
Springer
15 years 6 months ago
Deterministic Automata on Unranked Trees
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
Julien Cristau, Christof Löding, Wolfgang Tho...
80
Voted
SAT
2005
Springer
134views Hardware» more  SAT 2005»
15 years 6 months ago
A Clause-Based Heuristic for SAT Solvers
We propose a new decision heuristic for DPLL-based propositional SAT solvers. Its essence is that both the initial and the conflict clauses are arranged in a list and the next deci...
Nachum Dershowitz, Ziyad Hanna, Alexander Nadel