3317 search results - page 540 / 664 » Strategies in Rigid-Variable Methods |
109
click to vote
AC
2005
Springer
15 years 26 days ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
AMC
2005
15 years 26 days ago
2005
In most public companies in China, there are two thirds of shares that cannot be traded freely in the secondary market. These illiquid shares, however, may be allowed to circulate...
109
Voted
IJSNET
2007
15 years 26 days ago
2007
Abstract: Wireless sensor networks are often based on omni-sensing and communication models. In contrast, in this paper, we investigate sensor networks with directional sensing and...
116
Voted
IJVR
2007
15 years 26 days ago
2007
—This paper describes a framework for animating and controlling articulated bodies in a fluid simulation. We illustrate this approach by simulating an autonomous fish in various ...
AROBOTS
2005
15 years 26 days ago
2005
The Dual Smart Drive is a specially designed nonlinear actuator intended for use in climbing and walking legged robots. It features a continuously changing transmission ratio and d...