6020 search results - page 137 / 1204 » A New Approach to Model Counting |
124
click to vote
AIEDAM
1999
15 years 3 months ago
1999
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...
140
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Wireless mesh network deployments are popular as a cost-effective means to provide broadband connectivity to large user populations. As the network usage grows, network...
147
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
147
click to vote
GBRPR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce a new framework for feature grouping based on factor graphs, which are graphical models that encode interactions among arbitrary numbers of random variables....
180
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Nowadays, workflow research has shifted from fundamentals of workflow modelling and enactment towards improvement of the workflow modelling lifecycle and integration of workflow en...