Sciweavers

1781 search results - page 83 / 357
» Functional Answer Set Programming
Sort
View
CPHYSICS
2006
204views more  CPHYSICS 2006»
13 years 10 months ago
Genetically controlled random search: a global optimization method for continuous multidimensional functions
A new stochastic method for locating the global minimum of a multidimensional function inside a rectangular hyperbox is presented. A sampling technique is employed that makes use ...
Ioannis G. Tsoulos, Isaac E. Lagaris
WORDS
2005
IEEE
14 years 4 months ago
Functional and Non-Functional Properties in a Family of Embedded Operating Systems
The increasing complexity of embedded systems calls for software design and implementation techniques that support specialization without abandonment of reusability. This brings u...
Daniel Lohmann, Wolfgang Schröder-Preikschat,...
ACE
2003
104views Education» more  ACE 2003»
14 years 5 days ago
Language Tug-Of-War: Industry Demand and Academic Choice
This paper seeks to inform instructors responsible for designing introductory programming courses within a university setting. In particular, guidelines for choosing programming l...
Michael de Raadt, Richard Watson, Mark A. Toleman
JAPLL
2008
121views more  JAPLL 2008»
13 years 10 months ago
Reasoning with prioritized information by iterative aggregation of distance functions
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
Ofer Arieli
ICASSP
2011
IEEE
13 years 2 months ago
Geometric programming for aggregation of binary classifiers
Multiclass classification problems are often decomposed into multiple binary problems that are solved by individual binary classifiers whose results are integrated into a final...
Sunho Park, Seungjin Choi