Sciweavers

244 search results - page 13 / 49
» Elsewhere
Sort
View
ICALT
2010
IEEE
13 years 11 months ago
What You Check is What You Get: Authoring with jEditOQMath
Abstract--jEditOQMath is an authoring tool for the intelligent learning environment ActiveMath. Its editing interface is a simple source editor. However the wealth and power of the...
Paul Libbrecht
ADCM
2010
92views more  ADCM 2010»
13 years 10 months ago
Construction of infinite unimodular sequences with zero autocorrelation
Unimodular waveforms x are constructed on the integers with the property that the autocorrelation of x is one at the origin and zero elsewhere. There are three different constructi...
John J. Benedetto, Somantika Datta
JUCS
2006
117views more  JUCS 2006»
13 years 9 months ago
Information and Hybrid Architecture Model of the OCP Contextual Information Management System
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...
Ignacio Nieto-Carvajal, Juan A. Botía Blaya...
MP
2006
107views more  MP 2006»
13 years 9 months ago
Optimality conditions in portfolio analysis with general deviation measures
Optimality conditions are derived for problems of minimizing a general measure of deviation of a random variable, with special attention to situations where the random variable cou...
R. Tyrrell Rockafellar, Stan Uryasev, Michael Zaba...
SYNTHESE
2008
88views more  SYNTHESE 2008»
13 years 9 months ago
The pathology of validity
Abstract Stephen Read has presented an argument for the inconsistency of the concept of validity. We extend Read's results and show that this inconsistency is but one half of ...
James A. Woodbridge, Bradley Armour-Garb