11484 search results - page 2113 / 2297 » Modeling in the Large and Modeling in the Small |
139
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
More than a process-automating tool, telemedicine is increasingly recognized for its ability to facilitate collaboration and knowledge creation between disparate healthcare provid...
154
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this article we explore the short and largely undocumented history of electronic government, discuss the literature of e-government at the local government level, and document ...
190
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a novel solution to the illuminant estimation problem: the problem of how, given an image of a scene taken under an unknown illuminant, we can recover an estim...
177
click to vote
PG
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we revisit the cells-and-portals visibility methods, originally developed for the special case of architectural interiors. We define an effectiveness measure for a ...
173
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...