552 search results - page 96 / 111 » Languages Modulo Normalization |
144
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
143
Voted
DLOG
2009
15 years 1 months ago
2009
Abstract. Multi-attribute negotiation has been extensively studied from a gametheoretic viewpoint. In negotiation settings, utility functions are used to express agent preferences....
158
Voted
EXACT
2009
15 years 1 months ago
2009
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...
139
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper investigates using Gaussian Mixture Model (GMM) based vowel duration features for automated assessment of non-native speech. Two different types of models were compared...
153
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Applied digital signal processing courses offered at many universities do not normally include FPGA implementation of signal processing algorithms. This is due to the fact that st...