Sciweavers

29172 search results - page 357 / 5835
» Modeling Systems in CLP
Sort
View
DATE
2010
IEEE
164views Hardware» more  DATE 2010»
15 years 12 months ago
On passivity of the super node algorithm for EM modeling of interconnect systems
—The super node algorithm performs model order reduction based on physical principles. Although the algorithm provides us with compact models, its passivity has not thoroughly be...
Maria V. Ugryumova, Wil H. A. Schilders
DALT
2006
Springer
15 years 10 months ago
Dynamic Model Checking for Multi-agent Systems
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
Nardine Osman, David Robertson, Christopher Walton
162
Voted
ACL
2009
15 years 4 months ago
Optimizing Language Model Information Retrieval System with Expectation Maximization Algorithm
Statistical language modeling (SLM) has been used in many different domains for decades and has also been applied to information retrieval (IR) recently. Documents retrieved using...
Justin Liang-Te Chiu, Jyun-Wei Huang
IPPS
2007
IEEE
16 years 1 months ago
Model-Driven Performance Analysis Methodology for Distributed Software Systems
Abstract— A key enabler of the recently popularized, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reu...
Swapna S. Gokhale, Paul J. Vandal, Aniruddha S. Go...
ISWC
2005
IEEE
16 years 11 days ago
Modeling a Wearable Full-body Motion Capture System
Abstract— This paper describes a feasibility study for a selfcontained, wearable full-body motion capture system based on time-of-flight measurements that provide absolute dista...
Christopher Einsmann, Meghan Quirk, Ben Muzal, Bha...