Sciweavers

472 search results - page 33 / 95
» Limiting Negations in Formulas
Sort
View
CORR
2010
Springer
127views Education» more  CORR 2010»
15 years 3 months ago
Statistical and Computational Tradeoffs in Stochastic Composite Likelihood
Maximum likelihood estimators are often of limited practical use due to the intensive computation they require. We propose a family of alternative estimators that maximize a stoch...
Joshua Dillon, Guy Lebanon
LOGCOM
2006
116views more  LOGCOM 2006»
15 years 2 months ago
A Syntax-based Approach to Reasoning about Action and Belief Update
In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The ...
Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo
RSA
2006
110views more  RSA 2006»
15 years 2 months ago
The degree sequences and spectra of scale-free random graphs
We investigate the degree sequences of scale-free random graphs. We obtain a formula for the limiting proportion of vertices with degree d, confirming non-rigorous arguments of Do...
Jonathan Jordan
SECON
2008
IEEE
15 years 9 months ago
A First Step Towards Dynamic Profiling of Sensor-Based Systems
Application specific tuning has been shown to be beneficial for a variety of platforms, sensor-based systems are no exception. However, accurately capturing external stimuli or mo...
Srihari Sridharan, Susan Lysecky
ECEASST
2008
91views more  ECEASST 2008»
15 years 3 months ago
Graph Transformation Model of a Triangulated Network of Mobile Units
Abstract: A triangulated network of mobile units is modelled by means of a graph transformation system in which graph nodes are labelled with geometric coordinates and edges are la...
Stefan Gruner