Sciweavers

1701 search results - page 188 / 341
» Computer Science and State Machines
Sort
View
MINENET
2005
ACM
15 years 3 months ago
Identifying BGP routing table transfers
BGP routing updates collected by monitoring projects such as RouteViews and RIPE have been a vital source to our understanding of the global routing system. The updates logged by ...
Beichuan Zhang, Vamsi Kambhampati, Mohit Lad, Dani...
GD
2005
Springer
15 years 3 months ago
Graph Treewidth and Geometric Thickness Parameters
Consider a drawing of a graph G in the plane such that crossing edges are coloured differently. The minimum number of colours, taken over all drawings of G, is the classical graph...
Vida Dujmovic, David R. Wood
88
Voted
ESWS
2010
Springer
15 years 2 months ago
Scalable and Parallel Reasoning in the Semantic Web
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
Jacopo Urbani
90
Voted
SOFSEM
2010
Springer
15 years 7 months ago
Picture Recognizability with Automata Based on Wang Tiles
We introduce a model of automaton for picture language recognition which is based on tiles and is called Wang automaton, since its description relies on the notation of Wang system...
Violetta Lonati, Matteo Pradella
72
Voted
CSIE
2009
IEEE
15 years 5 months ago
Using Rao-Blackwellised Particle Filter Track 3D Arm Motion Based on Hierarchical Limb Model
—For improving the efficiency of human 3D tracking, we present an algorithm to track 3D Arm Motion. First, the Hierarchy Limb Model (HLM) is proposed based on the human 3D skelet...
XueSong Yu, JiaFeng Liu, XiangLong Tang, JianHua H...