Sciweavers

1559 search results - page 177 / 312
» Some Group Theory Problems
Sort
View
JAR
2008
88views more  JAR 2008»
15 years 4 months ago
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
Osman Hasan, Sofiène Tahar
WWW
2004
ACM
16 years 5 months ago
A possible simplification of the semantic web architecture
In the semantic web architecture, Web ontology languages are built on top of RDF(S). However, serious difficulties have arisen when trying to layer expressive ontology languages, ...
Bernardo Cuenca Grau
IROS
2008
IEEE
129views Robotics» more  IROS 2008»
15 years 11 months ago
Dynamic acyclic motion from a planar contact-stance to another
— This paper addresses the problem of generating dynamic motion for a humanoid between two predefined postures. The humanoid robot starts its motion from a statically stable con...
Mario Arbulu, Kazuhito Yokoi, Abderrahmane Kheddar...
PRDC
2006
IEEE
15 years 10 months ago
Detecting and Exploiting Symmetry in Discrete-state Markov Models
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
W. Douglas Obal II, Michael G. McQuinn, William H....
ICMCS
2005
IEEE
75views Multimedia» more  ICMCS 2005»
15 years 10 months ago
The sound wave ray-space
This paper addresses the problem of 3D sound representation without sound source localization and proposes a theory based on the ray-space representation of light rays, which is i...
Mehrdad Panahpour Tehrani, Yasushi Hirano, Toshiak...