4693 search results - page 345 / 939 » Verifying Hybrid Systems |
174
click to vote
TROB
2008
15 years 6 months ago
2008
Snakes utilize irregularities in the terrain, such as rocks and vegetation, for faster and more efficient locomotion. This motivates the development of snake robots that actively u...
154
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper focuses on the task of text sentiment analysis in hybrid online articles and web pages. Traditional approaches of text sentiment analysis typically work at a particular ...
173
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
In previous studies on 4-DOF parallel mechanisms with four sub-chains, only symmetric arrangement of those four chains connected to the top plate was considered. Such symmetric sha...
176
Voted
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
A secure logging mechanism named haplog is proposed. In essence, haplog uses only one-way hash functions to achieve the security and functional requirements of logging. This makes...
176
click to vote
VMCAI
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...