821 search results - page 130 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
142
click to vote
CONEXT
2009
ACM
15 years 27 days ago
2009
ACM
Building on the popularity of online social networks (OSNs) such as Facebook, social content-sharing applications allow users to form communities around shared interests. Millions...
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
COLING
1996
15 years 1 months ago
1996
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
JFR
2008
14 years 11 months ago
2008
Tractor-trailer reversing is a classical non-linear control problem in which many of the solutions proposed in the literature perform poorly in the presence of real-world constrai...
112
click to vote
3DIM
2005
IEEE
15 years 5 months ago
2005
IEEE
The present paper focuses on efficient inverse rendering using a Photometric Stereo technique for realistic surfaces. The technique primarily assumes the Lambertian reflection mod...