Sciweavers

1285 search results - page 130 / 257
» Structural Operators for Modeling 3-Manifolds
Sort
View
93
Voted
ENTCS
2008
98views more  ENTCS 2008»
15 years 25 days ago
A Rewriting Calculus for Multigraphs with Ports
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...
Oana Andrei, Hélène Kirchner
ENTCS
2007
133views more  ENTCS 2007»
15 years 22 days ago
Modelchecking Correctness of Refactorings - Some Experiments
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...
H.-Christian Estler, Thomas Ruhroth, Heike Wehrhei...
IROS
2007
IEEE
122views Robotics» more  IROS 2007»
15 years 7 months ago
Design of a new spatial 3-DOF parallel mechanism with application to a PDP TV mounting device
—In this paper, we propose a new 3-DOF parallel mechanism for PDP TV mounting device with 2-rotation and 1-translation. The most important operational requirement of this device ...
Jae Heon Chung, Byung-Ju Yi, Sung Oh
86
Voted
HICSS
2002
IEEE
115views Biometrics» more  HICSS 2002»
15 years 5 months ago
Fuzzy Rules for HTML Transcoding
With the increasing availability of Web-enabled mobile devices, we are facing the problem to effectively adapt Web content for those devices. For adaptation, Web page structures r...
Robbie Schaefer, Andreas Dangberg, Wolfgang Mü...
99
Voted
COLING
2002
15 years 18 days ago
Hierarchical Orderings of Textual Units
Text representation is a central task for any approach to automatic learning from texts. It requires a format which allows to interrelate texts even if they do not share content w...
Alexander Mehler