Sciweavers

6740 search results - page 266 / 1348
» Using Classification as a Programming Language
Sort
View
DALT
2005
Springer
15 years 8 months ago
Beliefs in Agent Implementation
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
Laurens Winkelhagen, Mehdi Dastani, Jan Broersen
130
Voted
EMSOFT
2007
Springer
15 years 8 months ago
Virtual execution of AADL models via a translation into synchronous programs
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, X...
138
Voted
JTRES
2010
ACM
15 years 2 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek
CLASSIFICATION
2004
59views more  CLASSIFICATION 2004»
15 years 2 months ago
Oscillation Heuristics for the Two-group Classification Problem
: We propose a new nonparametric family of oscillation heuristics for improving linear classifiers in the two-group discriminant problem. The heuristics are motivated by the intuit...
Ognian Asparouhov, Paul A. Rubin
102
Voted
CASCON
1996
89views Education» more  CASCON 1996»
15 years 3 months ago
A functional intermediate form for diverse source languages
This paper describes the use of WatIF, a simple compiler intermediate form based on the -calculus, for writing compiler front-ends for a wide range of programming languages. Somew...
David V. Mason