IOSR Journal of Computer Engineering (IOSR-JCE)
... conducting line in a circuit (the line width) can be made smaller and smaller as the technology advances; in 2008 it dropped below 100 nanometers and many manufacturers have been attempting to reduce it to tens of nanometers. ICs were made possible by experimental discoveries showing that semiconduc ...
... conducting line in a circuit (the line width) can be made smaller and smaller as the technology advances; in 2008 it dropped below 100 nanometers and many manufacturers have been attempting to reduce it to tens of nanometers. ICs were made possible by experimental discoveries showing that semiconduc ...
Sub-Markov Random Walk for Image
... group of related images. Our approach introduces the higher order clique’s, energy into the cosegmentation optimization process successfully. A region-based likelihood estimation procedure is first performed to provide the prior knowledge for our higher order energy function. Then, a new cosegmentat ...
... group of related images. Our approach introduces the higher order clique’s, energy into the cosegmentation optimization process successfully. A region-based likelihood estimation procedure is first performed to provide the prior knowledge for our higher order energy function. Then, a new cosegmentat ...
Computer Supported Formal Work: Towards a Digital Mathematical
... Logical systems were developed originally to provide a foundation for mathematics and their application to the specification and verification of software resulted – since the mid 1950s – in formal software development methods. Since then, there is a myriad of formalisms and systems, both for mathema ...
... Logical systems were developed originally to provide a foundation for mathematics and their application to the specification and verification of software resulted – since the mid 1950s – in formal software development methods. Since then, there is a myriad of formalisms and systems, both for mathema ...
CSC113Lab5_2
... Given the UML diagram of this problem, write a program that process one aeroplane and display the information (name/ID, weight and charge) of the luggage or the passengers that cost a charge of more than 50 S.R. Also, print the number of all adults, all children and all pieces of luggage in that aer ...
... Given the UML diagram of this problem, write a program that process one aeroplane and display the information (name/ID, weight and charge) of the luggage or the passengers that cost a charge of more than 50 S.R. Also, print the number of all adults, all children and all pieces of luggage in that aer ...
Collaborative reasoning - School of Computing
... Tracing or Formal Inspection School of Computing Clemson University ...
... Tracing or Formal Inspection School of Computing Clemson University ...
1 - Philsci
... It has lately been realized that some classes of quasi-experiments, observing and manipulating systems that are analogous in appropriate ways to the universe as a whole, would, if they could be performed, provide important experimental data to cosmologists. Unruh has shown, for example, that one can ...
... It has lately been realized that some classes of quasi-experiments, observing and manipulating systems that are analogous in appropriate ways to the universe as a whole, would, if they could be performed, provide important experimental data to cosmologists. Unruh has shown, for example, that one can ...
How do Mathematics and Music relate to each other?
... first could be properly combined. If, for example, a note of the frequency 220 Hz was given, the notes of frequencies 440 Hz, 660 Hz, 880 Hz, 1100 Hz and so on sounded best when played together with the first. Furthermore, examinations of different sounds showed that these integer multiples of the b ...
... first could be properly combined. If, for example, a note of the frequency 220 Hz was given, the notes of frequencies 440 Hz, 660 Hz, 880 Hz, 1100 Hz and so on sounded best when played together with the first. Furthermore, examinations of different sounds showed that these integer multiples of the b ...
Speeding Up HMM Decoding and Training by Exploiting Sequence
... of the LZ parse to compute M (W ) for a good substring W in O(k 3 ) time. LZ parses the string X into substrings (LZ-words) in a single pass over X. Each LZ-word is composed of the longest LZ-word previously seen plus a single letter. More formally, LZ begins with an empty dictionary and parses acco ...
... of the LZ parse to compute M (W ) for a good substring W in O(k 3 ) time. LZ parses the string X into substrings (LZ-words) in a single pass over X. Each LZ-word is composed of the longest LZ-word previously seen plus a single letter. More formally, LZ begins with an empty dictionary and parses acco ...
Theoretical computer science
Theoretical computer science is a division or subset of general computer science and mathematics that focuses on more abstract or mathematical aspects of computing and includes the theory of computation.It is not easy to circumscribe the theory areas precisely and the ACM's Special Interest Group on Algorithms and Computation Theory (SIGACT) describes its mission as the promotion of theoretical computer science and notes:Template:""To this list, the ACM's journal Transactions on Computation Theory adds coding theory, computational learning theory and theoretical computer science aspects of areas such as databases, information retrieval, economic models and networks. Despite this broad scope, the ""theory people"" in computer science self-identify as different from the ""applied people."" Some characterize themselves as doing the ""(more fundamental) 'science(s)' underlying the field of computing."" Other ""theory-applied people"" suggest that it is impossible to separate theory and application. This means that the so-called ""theory people"" regularly use experimental science(s) done in less-theoretical areas such as software system research. It also means that there is more cooperation than mutually exclusive competition between theory and application.