Sciweavers

1713 search results - page 133 / 343
» Analysis of Procedure Splitability
Sort
View
FCSC
2010
108views more  FCSC 2010»
13 years 9 months ago
On the computation of quotients and factors of regular languages
Quotients and factors are important notions in the design of various computational procedures for regular languages and for the analysis of their logical properties. We propose a n...
Mircea Marin, Temur Kutsia
ICRA
2010
IEEE
122views Robotics» more  ICRA 2010»
13 years 9 months ago
Constrained convergent gait regulation for a climbing robot
— The priorities of a climbing legged robot are to maintain a grasp on its climbing surface and to climb efficiently against the force of gravity. These priorities profoundly co...
Salomon Trujillo, Barrett Heyneman, Mark R. Cutkos...
OTM
2010
Springer
13 years 9 months ago
Modelling the Public Sector Information through CIDOC Conceptual Reference Model
Nowadays, due to the growing development of eGovernment information systems, there is an increasing need to handle Public Sector Information (PSI) in a homogeneous way. Ontologies ...
Lina Bountouri, Christos Papatheodorou, Manolis Ge...
SG
2010
Springer
13 years 9 months ago
Sketch Based Volumetric Clouds
Like many natural phenomenon, clouds are often modeled using procedural methods, which may be difficult for an artist to control. In this paper, a freehand sketching system is prop...
Marc Stiver, Andrew Baker, Adam Runions, Faramarz ...
ACL
2010
13 years 8 months ago
A Structured Model for Joint Learning of Argument Roles and Predicate Senses
In predicate-argument structure analysis, it is important to capture non-local dependencies among arguments and interdependencies between the sense of a predicate and the semantic...
Yotaro Watanabe, Masayuki Asahara, Yuji Matsumoto