Sciweavers

8413 search results - page 312 / 1683
» Ordering Problem Subgoals
Sort
View
SAC
2008
ACM
15 years 6 months ago
A constraint hierarchies approach to geometric constraints on sketches
We propose an approach that uses preferences on the constraints in order to deal with over-constrained geometric constraint problems. This approach employs constraint hierarchies,...
Christophe Jermann, Hiroshi Hosobe
ICASSP
2010
IEEE
15 years 4 months ago
Energy-based multi-speaker voice activity detection with an ad hoc microphone array
In this paper, we propose an energy-based technique to track the power of multiple simultaneous speakers using an ad hoc microphone array with unknown microphone positions. By con...
Alexander Bertrand, Marc Moonen
ICANN
2011
Springer
14 years 10 months ago
Temperature Prediction in Electric Arc Furnace with Neural Network Tree
Abstract. This paper presents a neural network tree regression system with dynamic optimization of input variable transformations and post-training optimization. The decision tree ...
Miroslaw Kordos, Marcin Blachnik, Tadeusz Wieczore...
TACAS
2007
Springer
144views Algorithms» more  TACAS 2007»
16 years 20 days ago
Detecting Races in Ensembles of Message Sequence Charts
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
Edith Elkind, Blaise Genest, Doron Peled
SPAA
2005
ACM
16 years 3 days ago
Efficient algorithms for verifying memory consistency
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
Chaiyasit Manovit, Sudheendra Hangal