3116 search results - page 365 / 624 » Positively dependent types |
181
click to vote
COLT
2006
Springer
15 years 8 months ago
2006
Springer
There are two main families of on-line algorithms depending on whether a relative entropy or a squared Euclidean distance is used as a regularizer. The difference between the two f...
175
click to vote
CW
2005
IEEE
15 years 8 months ago
2005
IEEE
Large Virtual Worlds (VWs) are increasingly common in the computer graphics areas of simulation, games, geospatial or scientific visualisation. In such VWs, simulated motion of th...
202
click to vote
ECMDAFA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...
196
click to vote
ESA
2008
Springer
15 years 8 months ago
2008
Springer
We study the mechanism design problem of scheduling unrelated machines and we completely characterize the decisive truthful mechanisms for two players when the domain contains bot...
177
click to vote
EURONGI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The integration of mobile ad hoc networks into IP-based access networks demands the presence of a gateway which is responsible for propagating some configuration paramete...