1317 search results - page 222 / 264 » A Technique for Constructing Developable Surfaces |
125
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Non-coding RNAs gain more attention as their diverse roles in many cellular processes are discovered. At the same time, the need for efficient computational prediction...
157
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The efficient realization of linear space-variant (non-convolution) filters is a challenging computational problem in image processing. In this paper, we demonstrate that it is po...
123
click to vote
CONSTRAINTS
2008
15 years 4 months ago
2008
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
111
click to vote
EOR
2006
15 years 3 months ago
2006
Consider unmanned airborne vehicle (UAV) control agents in a dynamic multi-agent system. The agents must have a set of goals such as destination airport and intermediate positions...
129
Voted
JAR
2006
15 years 3 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...