Sciweavers

7430 search results - page 231 / 1486
» Programming Applications in CIFF
Sort
View
JTRES
2010
ACM
15 years 4 months ago
Developing safety critical Java applications with oSCJ/L0
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software...
Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang...
JAIR
2008
94views more  JAIR 2008»
15 years 4 months ago
The Ultrametric Constraint and its Application to Phylogenetics
A phylogenetic tree shows the evolutionary relationships among species. Internal nodes of the tree represent speciation events and leaf nodes correspond to species. A goal of phyl...
Neil C. A. Moore, Patrick Prosser
CORR
2004
Springer
223views Education» more  CORR 2004»
15 years 4 months ago
MultiNeuron - Neural Networks Simulator For Medical, Physiological, and Psychological Applications
This work describes neural software applied in medicine and physiology to: - investigate and diagnose immune deficiencies; diagnose and study allergic and pseudoallergic reactions...
Alexander N. Gorban, D. A. Rossiyev, M. G. Dorrer
ETFA
2006
IEEE
15 years 10 months ago
Modelling and Verification of IEC 61499 Applications using Prolog
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hani...
ICIP
2005
IEEE
15 years 10 months ago
A transcoding robust data hiding method for image communication applications
We present a data embedding method for image communication applications. Our goal is to implement novel multimedia applications such as multi-language captions, interactive progra...
Cagatay Candan