Sciweavers

18090 search results - page 278 / 3618
» Computing by Only Observing
Sort
View
BSL
2008
98views more  BSL 2008»
15 years 6 months ago
A Natural Axiomatization of Computability and Proof of Church's Thesis
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
Nachum Dershowitz, Yuri Gurevich
COMBINATORICS
2006
132views more  COMBINATORICS 2006»
15 years 6 months ago
On Computing the Distinguishing Numbers of Trees and Forests
Let G be a graph. A vertex labeling of G is distinguishing if the only label-preserving automorphism of G is the identity map. The distinguishing number of G, D(G), is the minimum...
Christine T. Cheng
IJNSEC
2008
115views more  IJNSEC 2008»
15 years 6 months ago
A Simple User Authentication Scheme for Grid Computing
The security issue has become an important concern of grid computing. To prevent the grid resources from being illegally visited, the strong mutual authentication is needed for us...
Rongxing Lu, Zhenfu Cao, Zhenchuan Chai, Xiaohui L...
MOC
1998
88views more  MOC 1998»
15 years 6 months ago
A space efficient algorithm for group structure computation
We present a new algorithm for computing the structure of a finite abelian group, which has to store only a fixed, small number of group elements, independent of the group order....
Edlyn Teske
ICSE
2003
IEEE-ACM
16 years 6 months ago
Undergraduate Software Engineering Curriculum Enhancement via Human-Computer Interaction
More needs to be done to train students to deliver usable software. The current Software Engineering curriculum includes Human-Computer Interaction (HCI) topics in terms of a lect...
Stephanie Ludi