Sciweavers

308 search results - page 8 / 62
» A new enhanced constructive decomposition and mapping algori...
Sort
View
GIS
2003
ACM
15 years 2 months ago
Construction of the planar partition postal code map based on cadastral reGIStration
Accurate postal code maps have many applications within GIS as the postal code has the potential to link the address description of buildings to their location in a specified glob...
Friso Penninga, Edward Verbree, Wilko Quak, Peter ...
EH
1999
IEEE
351views Hardware» more  EH 1999»
15 years 1 months ago
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints
Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraint...
Marek A. Perkowski, Alan Mishchenko, Anatoli N. Ch...
124
Voted
IGARSS
2010
14 years 4 months ago
Enhanced Cloud algorithm from collocated CALIPSO, CloudSat and MODIS global boundary layer lapse rate studies
Coincident profile information from CALIPSO's lidar and CloudSat's radar offers a unique opportunity to map the vertical structure of clouds over the globe with accuraci...
Sunny Sun-Mack, Patrick Minnis, Seiji Kato, Yan Ch...
NIPS
2007
14 years 11 months ago
Local Algorithms for Approximate Inference in Minor-Excluded Graphs
We present a new local approximation algorithm for computing MAP and logpartition function for arbitrary exponential family distribution represented by a finite-valued pair-wise ...
Kyomin Jung, Devavrat Shah
CASC
2010
Springer
125views Mathematics» more  CASC 2010»
14 years 7 months ago
Thomas Decomposition of Algebraic and Differential Systems
In this paper, we consider systems of algebraic and non-linear partial differential equations and inequations. We decompose these system into so-called simple subsystems and there...
Thomas Bächler, Vladimir P. Gerdt, Markus Lan...