741 search results - page 131 / 149 » A Local System for Classical Logic |
FECS
2006
13 years 10 months ago
2006
Program plagiarism is one of the most significant problems in Computer Science education. Most common plagiarism includes modifying comments, reordering statements, and changing v...
IAJIT
2007
13 years 8 months ago
2007
: Routing is an important functional aspect in wireless ad-hoc networks that handles discovering and maintaining the paths between nodes within a network. Due to nodes mobility, th...
VLSI
2010
Springer
13 years 3 months ago
2010
Springer
Electro-Magnetic Analysis has been identified as an efficient technique to retrieve the secret key of cryptographic algorithms. Although similar mathematically speaking, Power or E...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
Reliable detection of human activity is an unsolved problem. The main is that low resolution and the unconstrained nature of realistic environments and human behaviourmakeform cue...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...