6047 search results - page 151 / 1210 » Modeling with Extend |
109
click to vote
HICSS
2002
IEEE
15 years 6 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...
ICIP
2005
IEEE
16 years 3 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 ...
109
Voted
ICRA
2009
IEEE
15 years 8 months 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...
116
click to vote
DEXAW
1998
IEEE
15 years 6 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...
134
click to vote
ACSC
2004
IEEE
15 years 5 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...