2042 search results - page 145 / 409 » A Global Grid Model Based on |
204
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...
189
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Inconsistent contexts are death-wounds which usually result in contextaware applications' incongruous behaviors and users' perplexed feelings, therefore the ben...
233
click to vote
CLEIEJ
2006
15 years 7 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
225
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
In this paper we reformulate the 3D reconstruction of deformable surfaces from monocular video sequences as a labeling problem. We solve simultaneously for the assignment of featu...
190
click to vote
ISPD
2007
ACM
15 years 8 months ago
2007
ACM
Traditionally, research in global placement has focused on relatively few simple metrics, such as pure wirelength or routability estimates. However, in the real world today, desig...