Sciweavers

2863 search results - page 349 / 573
» Computer modelling and natural phenomena
Sort
View
CIE
2006
Springer
15 years 10 months ago
Forcing with Random Variables and Proof Complexity
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...
Jan Krajícek
COORDINATION
2006
Springer
15 years 10 months ago
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel ...
ICCV
1995
IEEE
15 years 10 months ago
Alignment by Maximization of Mutual Information
A new information-theoretic approach is presented for finding the pose of an object in an image. The technique does not require information about the surface properties of the ob...
Paul A. Viola, William M. Wells III
CIMAGING
2010
195views Hardware» more  CIMAGING 2010»
15 years 8 months ago
SPIRAL out of convexity: sparsity-regularized algorithms for photon-limited imaging
The observations in many applications consist of counts of discrete events, such as photons hitting a detector, which cannot be effectively modeled using an additive bounded or Ga...
Zachary T. Harmany, Roummel F. Marcia, Rebecca Wil...
AAAI
1990
15 years 7 months ago
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
Gerhard Lakemeyer