Sciweavers

6549 search results - page 193 / 1310
» Parsimonious additive models
Sort
View
WSC
1998
15 years 7 months ago
A Practical Module-Based Simulation Model for Transportation-Inventory Systems
A method of modeling transportation-inventory systems is proposed in an attempt to flexibly describe the systems in which a lot of kinds of items are ordered to transport, transpo...
Soemon Takakuwa
AICOM
2008
146views more  AICOM 2008»
15 years 6 months ago
Domain action classification using a maximum entropy model in a schedule management domain
Since speaker's intentions can be represented into domain actions (pairs of domain-independent speech acts and domain-dependent concept sequences) in goal-oriented dialogues,...
Hyunjung Lee, Harksoo Kim, Jungyun Seo
AIEDU
2007
85views more  AIEDU 2007»
15 years 6 months ago
Opening up the Interpretation Process in an Open Learner Model
Opening a model of the learner is a potentially complex operation. There are many aspects of the learner that can be modelled, and many of these aspects may need to be opened in di...
Nicolas van Labeke, Paul Brna, Rafael Morales
ENTCS
2007
119views more  ENTCS 2007»
15 years 6 months ago
Interpolant Learning and Reuse in SAT-Based Model Checking
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
João Marques-Silva
CAD
2005
Springer
15 years 6 months ago
Efficiency of boundary evaluation for a cellular model
Feature modeling systems usually employ a boundary representation (b-rep) to store the shape information on a product. It has, however, been shown that a b-rep has a number of sho...
Rafael Bidarra, Joaquim Madeira, Willem J. Neels, ...