Sciweavers

98 search results - page 7 / 20
» Swarming Behavior Using Probabilistic Roadmap Techniques
Sort
View
RV
2007
Springer
130views Hardware» more  RV 2007»
14 years 1 months ago
Statistical Runtime Checking of Probabilistic Properties
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regeh...
GECCO
2008
Springer
179views Optimization» more  GECCO 2008»
13 years 8 months ago
Emergent architecture in self organized swarm systems for military applications
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...
Dustin J. Nowak, Gary B. Lamont, Gilbert L. Peters...
APWEB
2005
Springer
14 years 1 months ago
Using Probabilistic Latent Semantic Analysis for Personalized Web Search
Web users use search engine to find useful information on the Internet. However current web search engines return answer to a query independent of specific user information need. S...
Chenxi Lin, Gui-Rong Xue, Hua-Jun Zeng, Yong Yu
FORTE
2007
13 years 9 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
TCAD
2002
99views more  TCAD 2002»
13 years 7 months ago
Analysis of on-chip inductance effects for distributed RLC interconnects
This paper introduces an accurate analysis of on-chip inductance effects for distributed interconnects that takes the effect of both the series resistance and the output parasitic ...
Kaustav Banerjee, Amit Mehrotra