Sciweavers

9284 search results - page 1492 / 1857
» Knowledge State Algorithms
Sort
View
ENTCS
2007
158views more  ENTCS 2007»
15 years 6 months ago
Abstraction and Completeness for Real-Time Maude
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
Peter Csaba Ölveczky, José Meseguer
NETWORK
2008
97views more  NETWORK 2008»
15 years 6 months ago
Routing Metrics and Protocols for Wireless Mesh Networks
WMNs are low-cost access networks built on cooperative routing over a backbone composed of stationary wireless routers. WMNs must deal with the highly unstable wireless medium. Th...
Miguel Elias M. Campista, Pedro Miguel Esposito, I...
NRHM
2008
106views more  NRHM 2008»
15 years 6 months ago
Towards the unification of formats for overlapping markup
Overlapping markup refers to the issue of how to represent data structures more expressive than trees--for example direct acyclic graphs--using markup (meta-)languages which have ...
Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli
PE
2006
Springer
107views Optimization» more  PE 2006»
15 years 6 months ago
Efficient steady-state analysis of second-order fluid stochastic Petri nets
This paper presents an efficient solution technique for the steady-state analysis of the second-order Stochastic Fluid Model underlying a second-order Fluid Stochastic Petri Net (...
Marco Gribaudo, Rossano Gaeta
SIGIR
2008
ACM
15 years 6 months ago
A general optimization framework for smoothing language models on graph structures
Recent work on language models for information retrieval has shown that smoothing language models is crucial for achieving good retrieval performance. Many different effective smo...
Qiaozhu Mei, Duo Zhang, ChengXiang Zhai
« Prev « First page 1492 / 1857 Last » Next »