6047 search results - page 151 / 1210 » Modeling with Extend |
160
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
107
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Super-resolution reconstruction is the process of reconstructing a high-resolution image from multiple low-resolution images. Most super-resolution reconstruction methods neglect ...
166
click to vote
ICRA
2009
IEEE
16 years 28 days ago
2009
IEEE
— This article addresses the fast solution of a Quadratic Program underlying a Linear Model Predictive Control scheme that generates walking motions. We introduce an algorithm wh...
180
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we present a software architecture which facilitates nomadic computing in an Open Distributed Computing environment. We introduce a model for the description of mobi...
187
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...