13306 search results - page 458 / 2662 » Theoretical Computer Science |
224
click to vote
DIS
2004
Springer
15 years 11 months ago
2004
Springer
: The class of closed patterns is a well known condensed representations of frequent patterns, and have recently attracted considerable interest. In this paper, we propose an effic...
183
click to vote
CSR
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The Hamiltonian cycle problem (HCP) is an important combinatorial problem with applications in many areas. While thorough theoretical and experimental analyses have been ...
228
click to vote
SPIN
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
193
click to vote
SC
2004
ACM
16 years 1 months ago
2004
ACM
: Legend says that Archimedes remarked, on the discovery of the lever, “Give me a place to stand, and I can move the world.” Today, computing pervades all aspects of science an...
174
click to vote
ITICSE
2010
ACM
15 years 11 months ago
2010
ACM
Previous reports of a media computation approach to teaching programming have either focused on pre-CS1 courses or courses for non-majors. We report the adoption of a media comput...