Sciweavers

6799 search results - page 324 / 1360
» The Tao of Modeling Spaces
Sort
View
WWW
2003
ACM
16 years 7 months ago
Elena: A Mediation Infrastructure for Educational Services
The paper presents the work of the Elena project. The contribution of this paper is twofold: The first part of the paper elaborates on the notion of educational services. Educatio...
Bernd Simon, Joaquín Salvachúa, Mich...
AAIM
2009
Springer
101views Algorithms» more  AAIM 2009»
16 years 1 months ago
Integer Polyhedra for Program Analysis
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
Philip J. Charles, Jacob M. Howe, Andy King
ICIP
2006
IEEE
16 years 26 days ago
Fast Iterative Adaptive Reconstruction in Low-Dose CT Imaging
in Proc. IEEE Int’l Conf. on Image Processing (ICIP), pp 889-892, 2006 Traditional iterative tomographic reconstruction methods resort to gradient decent methods and require sig...
Lin Cheng, Yunqiang Chen, Tong Fang, Jason Tyan
ITCC
2005
IEEE
16 years 12 days ago
Impact of Java Compressed Heap on Mobile/Wireless Communication
M-commerce has shown up as e-commerce in mobile and wireless communication, and now deals with on-line banking, stock trading, auctions, transactions, and mobile media. M-commerce...
Mayumi Kato, Chia-Tien Dan Lo
SMA
2005
ACM
133views Solid Modeling» more  SMA 2005»
16 years 11 days ago
Precise Voronoi cell extraction of free-form rational planar closed curves
We present an algorithm for generating the Voronoi cells for a set of rational C1 -continuous planar closed curves, which is precise up to machine precision. Initially, bisectors ...
Iddo Hanniel, Ramanathan Muthuganapathy, Gershon E...