932 search results - page 72 / 187 » Verifying Progress in Timed Systems |
136
click to vote
JCIT
2010
14 years 10 months ago
2010
In peer-to-peer networks, it is very difficult to route query successfully, since nodes in the routing path do not always behave according to pre-established routing protocols. To...
132
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
115
Voted
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
We develop non-smooth motion controllers that enable redundant manipulators to perform surface tasks, that involve force/torque interactions. The robot joint rates are constrained ...
124
click to vote
JMLR
2010
14 years 10 months ago
2010
A parametric version of herding is formulated. The nonlinear mapping between consecutive time slices is learned by a form of self-supervised training. The resulting dynamical syst...
130
click to vote
CW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes a choice strategy to ease user’s burdens for an interactive object recognition system when the system obtains multiple object candidates as a recognition re...