Sciweavers

2765 search results - page 149 / 553
» Spatio-temporal Models and Languages: An Approach Based on C...
Sort
View
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 21 days ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
IJAR
2008
83views more  IJAR 2008»
15 years 6 months ago
Decision-theoretic specification of credal networks: A unified language for uncertain modeling with sets of Bayesian networks
Credal networks are models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Credal nets appear to be power...
Alessandro Antonucci, Marco Zaffalon
MDAFA
2004
Springer
135views Hardware» more  MDAFA 2004»
15 years 12 months ago
Developing a UML Profile for Modelling Knowledge-Based Systems
Knowledge engineers have favoured a diagrammatic approach for developing knowledge-based systems by adopting those used in software engineering. However, these modelling techniques...
Mohd Syazwan Abdullah, Chris Kimble, Richard F. Pa...
ACL
2010
15 years 4 months ago
A Hybrid Rule/Model-Based Finite-State Framework for Normalizing SMS Messages
In recent years, research in natural language processing has increasingly focused on normalizing SMS messages. Different well-defined approaches have been proposed, but the proble...
Richard Beaufort, Sophie Roekhaut, Louise-Am&eacut...
INTEGRATION
2007
91views more  INTEGRATION 2007»
15 years 6 months ago
VHDL-AMS based modeling and simulation of mixed-technology microsystems: a tutorial
This tutorial paper describes different approaches to modeling and simulation of mixed-technology microsystems that consist of electrical circuits connected to subsystems describe...
Pavel V. Nikitin, C.-J. Richard Shi