Sciweavers

472 search results - page 33 / 95
» Limiting Negations in Formulas
Sort
View
CORR
2010
Springer
127views Education» more  CORR 2010»
13 years 10 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»
13 years 10 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»
13 years 10 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
14 years 4 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»
13 years 10 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