Sciweavers

3674 search results - page 579 / 735
» Information Dependencies
Sort
View
JUCS
2008
118views more  JUCS 2008»
15 years 6 months ago
Model-Based and Prototyping-Driven User Interface Specification to Support Collaboration and Creativity
: When the user interface is specified, a picture is worth a thousand words, and the worst thing one can do is write a natural-language specification for it. Because this practice ...
Thomas Memmel, Harald Reiterer
JMLR
2006
105views more  JMLR 2006»
15 years 6 months ago
Expectation Correction for Smoothed Inference in Switching Linear Dynamical Systems
We introduce a method for approximate smoothed inference in a class of switching linear dynamical systems, based on a novel form of Gaussian Sum smoother. This class includes the ...
David Barber
MIS
2008
Springer
151views Multimedia» more  MIS 2008»
15 years 6 months ago
Novel directory service and message delivery mechanism enabling scalable mobile agent communication
Mobile agent technology has emerged as a promising programming paradigm for developing highly dynamic and large-scale service-oriented computing middlewares due to its desirable fe...
Jinho Ahn
ENTCS
2007
143views more  ENTCS 2007»
15 years 6 months ago
Formal Fault Tree Analysis - Practical Experiences
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
Frank Ortmeier, Gerhard Schellhorn
ML
2008
ACM
156views Machine Learning» more  ML 2008»
15 years 6 months ago
On the connection between the phase transition of the covering test and the learning success rate in ILP
It is well-known that heuristic search in ILP is prone to plateau phenomena. An explanation can be given after the work of Giordana and Saitta: the ILP covering test is NP-complete...
Érick Alphonse, Aomar Osmani