Sciweavers

11151 search results - page 1998 / 2231
» On the Complexity of Model Expansion
Sort
View
CORR
2007
Springer
77views Education» more  CORR 2007»
15 years 6 months ago
Numerical removal of water-vapor effects from THz-TDS measurements
— One source of disturbance in a pulsed T-ray signal is attributed to ambient water vapor. Water molecules in the gas phase selectively absorb T-rays at discrete frequencies corr...
Withawat Withayachumnankul, Bernd M. Fischer, Samu...
JIKM
2008
98views more  JIKM 2008»
15 years 6 months ago
Knowledge-Based Expert System Development and Validation with Petri Nets
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...
Madjid Tavana
JIRS
2008
100views more  JIRS 2008»
15 years 6 months ago
Model-based Predictive Control of Hybrid Systems: A Probabilistic Neural-network Approach to Real-time Control
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
Bostjan Potocnik, Gasper Music, Igor Skrjanc, Boru...
JAIR
2006
101views more  JAIR 2006»
15 years 6 months ago
Resource Allocation Among Agents with MDP-Induced Preferences
Allocating scarce resources among agents to maximize global utility is, in general, computationally challenging. We focus on problems where resources enable agents to execute acti...
Dmitri A. Dolgov, Edmund H. Durfee
JAR
2006
81views more  JAR 2006»
15 years 6 months ago
Verifying the SET Purchase Protocols
SET (Secure Electronic Transaction) is a suite of protocols proposed by a consortium of credit card companies and software corporations to secure ecommerce transactions. The Purcha...
Giampaolo Bella, Fabio Massacci, Lawrence C. Pauls...
« Prev « First page 1998 / 2231 Last » Next »