Sciweavers

402 search results - page 56 / 81
» Complexity of Decision Problems for Simple Regular Expressio...
Sort
View
SEW
2003
IEEE
15 years 5 months ago
Model-Based Software Testing via Incremental Treatment Learning
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
Dustin Geletko, Tim Menzies
IEICET
2010
207views more  IEICET 2010»
14 years 10 months ago
A Semi-Supervised Approach to Perceived Age Prediction from Face Images
We address the problem of perceived age estimation from face images, and propose a new semi-supervised approach involving two novel aspects. The first novelty is an efficient act...
Kazuya Ueki, Masashi Sugiyama, Yasuyuki Ihara
95
Voted
TSP
2008
157views more  TSP 2008»
14 years 11 months ago
A Two-Stage Approach to Estimate the Angles of Arrival and the Angular Spreads of Locally Scattered Sources
We propose a new two-stage approach to estimate the nominal angles of arrival (AoAs) and the angular spreads (ASs) of multiple locally scattered sources using a uniform linear arra...
Mehrez Souden, Sofiène Affes, Jacob Benesty
NAR
2007
135views more  NAR 2007»
14 years 11 months ago
g: Profiler - a web-based toolset for functional profiling of gene lists from large-scale experiments
g:Profiler (http://biit.cs.ut.ee/gprofiler/) is a public web server for characterising and manipulating gene lists resulting from mining high-throughput genomic data. g:Profiler h...
Jüri Reimand, Meelis Kull, Hedi Peterson, Jaa...
LPAR
2007
Springer
15 years 5 months ago
Decidable Fragments of Many-Sorted Logic
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sa...