3116 search results - page 261 / 624 » Positively dependent types |
139
click to vote
IROS
2006
IEEE
16 years 19 days ago
2006
IEEE
— This paper describes an original control law called qualitative servoing. The particularity of this method is that no specific desired value is specified for the visual featu...
163
click to vote
ACG
2006
Springer
16 years 18 days ago
2006
Springer
Probabilistic combinatorial games (PCG) are a model for Go-like games recently introduced by Ken Chen. They differ from normal combinatorial games since terminal position in each ...
168
click to vote
VALUETOOLS
2006
ACM
16 years 17 days ago
2006
ACM
We continue the study of zero-automatic queues first introduced in [3]. These queues are characterized by a special buffering mechanism evolving like a random walk on some infi...
128
click to vote
FCCM
2005
IEEE
16 years 7 days ago
2005
IEEE
Java technology has been integrated into mobile/wireless computing because of its rich support to portability (crossplatform nature), reusability (development libraries), and shor...
169
click to vote
ICIAR
2005
Springer
16 years 4 days ago
2005
Springer
As digitalized content rapidly proliferates in networked systems, content security necessarily arises as one of the most important issues. Many developers have studied techniques ...