Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Timothy J. Long"'
Publikováno v:
Computer Science Education. 12:11-36
This paper summarizes the RESOLVE approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of its impact at two institutions. Principles taught include a modular style of softwar
Autor:
Timothy J. Long, Ming-Jye Sheu
Publikováno v:
Mathematical Systems Theory. 29:423-449
The low and high hierarchies within NP were introduced by Schoning in order to classify sets in NP. It is not known whether the low and high hierarchies include all sets in NP. In this paper, using the circuit lower-bound techniques of Hastad and Ko,
Autor:
Timothy J. Long, Ming-Jye Sheu
Publikováno v:
Mathematical Systems Theory. 28:299-327
Based on the e- and Δ-classes of the polynomial-time hierarchy, Schoning [S1], [S3]introduced low and high hierarchies within NP Several classes of sets have been located in the bottom few levels of these hierarchies [S1], [S3], [KS], [BB], [BS2], [
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 19:29-39
Autor:
Ming-Jye Sheu, Timothy J. Long
Publikováno v:
SIAM Journal on Computing. 23:488-509
Balcazar, Book, and Schoning introduced the extended low hierarchy based on the $\Sigma$-levels of the polynomial-time hierarchy as follows: for $k \geq 1$, level $k$ of the extended low hierarchy is the set $\elow{k} = \{ A \mid \sgm{k}(A) \subseteq
Autor:
Timothy J. Long
Publikováno v:
Chemometrics and Intelligent Laboratory Systems. 17:283-287
Long, T.J., 1992. Human issues with LIMS: the impact on quality. Chemometrics and Intelligent Laboratory Systems: Laboratory Information Management, 17: 289–294. Many laboratories implement a laboratory information management system (LIMS) to impro
Autor:
Timothy J. Long, Darleen M. Bajgrowicz
Publikováno v:
ASME 2009 4th Frontiers in Biomedical Devices.
The analysis of motor vehicle impacts and the resulting injury exposure to occupants with artificial joints can be correlated to a parameter referred to as delta-v. The delta-v of a vehicle involved in a motor vehicle impact is defined as the change
Autor:
Timothy J. Long, Paolo Bucci, Bruce Adcock, Wayne D. Heym, Bruce W. Weide, Joseph E. Hollingsworth
Publikováno v:
SIGCSE
A model and a taxonomy to characterize pointer manipulations are introduced, along with an instrumentation technology that leverages them to provide students with immediate reports of pointer errors in C++ programs. Data collected from CS2 student as
Publikováno v:
Lecture Notes in Computer Science ISBN: 3540119736
Theoretical Computer Science
Theoretical Computer Science
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2aa5ed1df6549bb95b71df8cf08647be
https://doi.org/10.1007/bfb0036471
https://doi.org/10.1007/bfb0036471
Publikováno v:
Logic Programming and Nonmonotonic Reasoning ISBN: 9783540207214
LPNMR
LPNMR
In this dissertation we show how conflict clause learning, a technique that has been very useful in improving the efficiency of Boolean logic satisfiability search, can be adapted to speed up dramatically the search for models of answer set programs.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b8b1d0c2c021a56548dc5cffc5ce264
https://doi.org/10.1007/978-3-540-24609-1_26
https://doi.org/10.1007/978-3-540-24609-1_26