Sciweavers

1981 search results - page 179 / 397
» The State of Change: A Survey
Sort
View
AAAI
2007
15 years 8 months ago
Purely Epistemic Markov Decision Processes
Planning under uncertainty involves two distinct sources of uncertainty: uncertainty about the effects of actions and uncertainty about the current state of the world. The most wi...
Régis Sabbadin, Jérôme Lang, N...
COMPSAC
2008
IEEE
15 years 8 months ago
Fabrication of Ontology for Security in Health Care Systems
Given the widespread intimidation state of affairs, there is a gripping want to enlarge architectures, algorithms, and protocols to apprehend a trustworthy network infrastructure....
J. Indumathi, G. V. Uma
SFP
2004
15 years 8 months ago
A graphic functional-dataflow language
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
Silvia Clerici, Cristina Zoltan
IJFCS
2006
119views more  IJFCS 2006»
15 years 6 months ago
Enforcing Concurrent Temporal Behaviors
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
Doron Peled, Hongyang Qu
ITIIS
2008
69views more  ITIIS 2008»
15 years 6 months ago
A Linear Precoding Technique for OFDM Systems with Cyclic Delay Diversity
Cyclic delay diversity (CDD) is considered a simple approach to exploit the frequency diversity, to improve the system performance in orthogonal frequency division multiplexing (O...
Bing Hui, KyungHi Chang