12981 search results - page 2393 / 2597 » Model Checking (Abstract) |
140
click to vote
INFORMATICALT
2006
15 years 3 months ago
2006
Abstract. The aim of the given paper is the development of an approach for parametric identification of Hammerstein systems with piecewise linear nonlinearities, i.e., when the sat...
140
click to vote
IR
2006
15 years 3 months ago
2006
Abstract. Peer-to-peer (P2P) networks integrate autonomous computing resources without requiring a central coordinating authority, which makes them a potentially robust and scalabl...
141
click to vote
JGTOOLS
2008
15 years 3 months ago
2008
Abstract. We explore the implications of reversing the process of shadow computation for real-time applications that model complex reflectance and lighting (such as that specified ...
152
click to vote
JIKM
2008
15 years 3 months ago
2008
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...
146
click to vote
DC
2007
15 years 3 months ago
2007
Abstract Many reliable distributed systems are consensusbased and typically operate under two modes: a fast normal mode in failure-free synchronous periods, and a slower recovery m...