4502 search results - page 566 / 901 » Regular Model Checking |
213
click to vote
ALGOSENSORS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we study the connectivity problem for wireless networks under the Signal to Interference plus Noise Ratio (SINR) model. Given a set of radio transmitters distributed ...
217
Voted
NIPS
2004
15 years 8 months ago
2004
It has been demonstrated that basic aspects of human visual motion perception are qualitatively consistent with a Bayesian estimation framework, where the prior probability distri...
178
click to vote
COGSCI
2008
15 years 6 months ago
2008
How children go about learning the general regularities that govern language, as well as keeping track of the exceptions to them, remains one of the challenging open questions in ...
149
click to vote
INFORMATICASI
2007
15 years 6 months ago
2007
The United Nation’s Center for Trade Facilitation and Electronic Business (UN/CEFACT)) is a standardization body known for its work on UN/EDIFACT and ebXML. One of its most rece...
220
click to vote
TROB
2010
15 years 1 months ago
2010
The robot hand applying force on a deformable object will result in a changing wrench space due to the varying shape and normal of the contact area. Design and analysis of a manipu...