Sciweavers

5863 search results - page 42 / 1173
» Calculating Functional Programs
Sort
View
RAS
2002
119views more  RAS 2002»
13 years 8 months ago
Exploration method using harmonic functions
Harmonic functions provide optimal potential maps for robot navigation in a previously explored static environment. Here we investigate the performance of an algorithm for explora...
Edson Prestes e Silva Jr., Paulo Martins Engel, Ma...
DNA
2009
Springer
185views Bioinformatics» more  DNA 2009»
14 years 3 months ago
NP-Completeness of the Direct Energy Barrier Problem without Pseudoknots
Knowledge of energy barriers between pairs of secondary structures for a given DNA or RNA molecule is useful, both in understanding RNA function in biological settings and in desig...
Ján Manuch, Chris Thachuk, Ladislav Stacho,...
CC
2005
Springer
115views System Software» more  CC 2005»
14 years 2 months ago
Experiences with Enumeration of Integer Projections of Parametric Polytopes
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
Sven Verdoolaege, Kristof Beyls, Maurice Bruynoogh...
HICSS
2000
IEEE
208views Biometrics» more  HICSS 2000»
14 years 1 months ago
Transfer Capability Computations in Deregulated Power Systems
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
Mohamed Shaaban, Yixin Ni, Felix F. Wu
ISWC
1999
IEEE
14 years 1 months ago
Realtime Personal Positioning System for Wearable Computers
Context awareness is an important functionality for wearable computers. In particular, the computer should know where the person is in the environment. This paper proposes an imag...
Hisashi Aoki, Bernt Schiele, Alex Pentland