Sciweavers

6253 search results - page 390 / 1251
» Use Case Modeling Guidelines
Sort
View
247
Voted
CP
2009
Springer
16 years 5 months ago
The Complexity of Valued Constraint Models
The Valued Constraint Satisfaction Problem (VCSP) is a general framework encompassing many optimisation problems. We discuss precisely what it means for a problem to be modelled in...
Peter G. Jeavons, Stanislav Zivný
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
15 years 11 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
IFIP3
2003
135views Education» more  IFIP3 2003»
15 years 6 months ago
Pedagogical Models in Network-Based Education
One special challenge facing teachers, planners and researchers is the development of pedagogical models, teaching methods and teaching practices that are applicable in network-bas...
Sanna Vahtivuori-Hänninen
ML
2008
ACM
150views Machine Learning» more  ML 2008»
15 years 4 months ago
Learning probabilistic logic models from probabilistic examples
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
Jianzhong Chen, Stephen Muggleton, José Car...
133
Voted
ICCAD
2006
IEEE
108views Hardware» more  ICCAD 2006»
16 years 1 months ago
Formal model of data reuse analysis for hierarchical memory organizations
– In real-time data-dominated communication and multimedia processing applications, due to the manipulation of large sets of data, a multi-layer memory hierarchy is used to enhan...
Ilie I. Luican, Hongwei Zhu, Florin Balasa