Sciweavers

1750 search results - page 319 / 350
» E-Commerce Development Procedure
Sort
View
GISCIENCE
2004
Springer
130views GIS» more  GISCIENCE 2004»
15 years 8 months ago
Comparing Exact and Approximate Spatial Auto-regression Model Solutions for Spatial Data Analysis
The spatial auto-regression (SAR) model is a popular spatial data analysis technique, which has been used in many applications with geo-spatial datasets. However, exact solutions f...
Baris M. Kazar, Shashi Shekhar, David J. Lilja, Ra...
ASAP
2003
IEEE
133views Hardware» more  ASAP 2003»
15 years 8 months ago
Storage Management in Process Networks using the Lexicographically Maximal Preimage
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...
Alexandru Turjan, Bart Kienhuis
137
Voted
ICRA
2003
IEEE
148views Robotics» more  ICRA 2003»
15 years 8 months ago
Needle insertion and radioactive seed implantation in human tissues: simulation and sensitivity analysis
− To facilitate training and planning for medical procedures such as prostate brachytherapy, we are developing an interactive simulation of needle insertion and radioactive seed ...
Ron Alterovitz, Kenneth Y. Goldberg, Jean Pouliot,...
127
Voted
ICAIL
2003
ACM
15 years 8 months ago
Improving Legal Quality - an application report
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
Tom M. van Engers, Margherita R. Boekenoogen
140
Voted
PLDI
2003
ACM
15 years 7 months ago
Automatically proving the correctness of compiler optimizations
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
Sorin Lerner, Todd D. Millstein, Craig Chambers