Sciweavers

471 search results - page 78 / 95
» Modals As A Problem For MT
Sort
View
DOCENG
2009
ACM
15 years 4 months ago
On the analysis of queries with counting constraints
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
Everardo Bárcenas, Pierre Genevès, N...
ICASSP
2008
IEEE
15 years 4 months ago
Assessing the challenges of environmental signal processing through the sensorscope project
SensorScope is a collaborative project between network, signal processing, and environmental researchers that aims at providing a cheap and out-of-the-box environmental monitoring...
Guillermo Barrenetxea, François Ingelrest, ...
IEEESCC
2008
IEEE
15 years 4 months ago
Adaptive Secure Access to Remote Services
Since the inception of service-oriented computing paradigm, we have witnessed a plethora of services deployed across a broad spectrum of applications, ranging from conventional RP...
Hanping Lufei, Weisong Shi, Vipin Chaudhary
LICS
2008
IEEE
15 years 4 months ago
Winning Regions of Higher-Order Pushdown Games
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H...
82
Voted
ICRA
2007
IEEE
162views Robotics» more  ICRA 2007»
15 years 4 months ago
Feedback linearization and simultaneous stiffness-position control of robots with antagonistic actuated joints
— In this paper, the dynamic model of a robot with antagonistic actuated joints is presented, and the problem of full linearization via static state feedback is analyzed. The use...
Gianluca Palli, Claudio Melchiorri, Thomas Wimb&ou...