1005 search results - page 94 / 201 » Software Localization: Issues and Methods |
112
Voted
ENTCS
2010
14 years 12 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
106
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper describes a view planning of multiple cameras for tracking multiple persons for surveillance purposes. When only a few active cameras are used to cover a wide area, ...
137
Voted
DATESO
2007
15 years 4 months ago
2007
When searching databases of nucleotide or protein sequences, finding a local alignment of two sequences is one of the main tasks. Since the sizes of available databases grow const...
141
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Visualization of DNA microarray data in two or three dimensional spaces is an important exploratory analysis step in order to detect quality issues or to generate new ...
149
click to vote
SIAMCO
2011
14 years 9 months ago
2011
The choice of admissible trading strategies in mathematical modelling of financial markets is a delicate issue, going back to Harrison and Kreps [HK79]. In the context of optimal...