Sciweavers

2191 search results - page 188 / 439
» Improving the Efficiency of Non-Deterministic Computations
Sort
View
DATE
2003
IEEE
104views Hardware» more  DATE 2003»
15 years 12 months ago
Symbolic Analysis of Nonlinear Analog Circuits
A new method is presented to model symbolically strongly nonlinear circuits, characterized by Piece-Wise Linear (PWL) functions. The method follows the idea of Bokhoven and Leenae...
Alicia Manthe, Zhao Li, C.-J. Richard Shi, Kartike...
FLAIRS
2008
15 years 9 months ago
Towards Getting Domain Knowledge: Plans Analysis through Investigation of Actions Dependencies
There are a lot of approaches for solving planning problems. Many of these approaches are based on `brute force` search methods and do not care about structures of plans previousl...
Lukás Chrpa, Roman Barták
MOC
2002
87views more  MOC 2002»
15 years 6 months ago
On the resolution of relative Thue equations
An efficient algorithm is given for the resolution of relative Thue equations. The essential improvement is the application of an appropriate version of Wildanger's enumeratio...
István Gaál, Michael Pohst
CGF
2008
101views more  CGF 2008»
15 years 6 months ago
Spectral Conformal Parameterization
We present a spectral approach to automatically and efficiently obtain discrete free-boundary conformal parameterizations of triangle mesh patches, without the common artifacts du...
Patrick Mullen, Yiying Tong, Pierre Alliez, Mathie...
CVPR
2009
IEEE
17 years 1 months ago
Picking the best DAISY
Local image descriptors that are highly discriminative, computational efficient, and with low storage footprint have long been a dream goal of computer vision research. In this ...
Gang Hua, Matthew Brown, Simon A. J. Winder