1919 search results - page 44 / 384 » Recent Extensions to Traviando |
ENTCS
2006
13 years 11 months ago
2006
Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structure...
VLSM
2005
Springer
14 years 4 months ago
2005
Springer
We develop a fast numerical method to approximate the solutions of a wide class of equations associated to the Shape From Shading problem. Our method, which is based on the control...
ICCAD
2009
IEEE
13 years 8 months ago
2009
IEEE
While Dynamic Voltage Scaling (DVS) remains as a popular energy management technique for real-time embedded applications, recent research has identified significant and negative i...
DEXAW
2000
IEEE
14 years 3 months ago
2000
IEEE
One of the key problems of recent years has been the divide between theoretical work in agent-based systems and its practical complement which have, to a large extent, developed a...
ISPA
2004
Springer
14 years 4 months ago
2004
Springer
The demand of information services is popular in recent years. However, the requested of correct answer in a mobile environment needs to have more attentions. This is due to the sc...