1465 search results - page 117 / 293 » Making the Correct Mistakes |
165
click to vote
CPC
2006
15 years 6 months ago
2006
We show how to generate labeled and unlabeled outerplanar graphs with n vertices uniformly at random in polynomial time in n. To generate labeled outerplanar graphs, we present a c...
154
click to vote
ENTCS
2006
15 years 6 months ago
2006
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...
155
click to vote
JOT
2006
15 years 6 months ago
2006
Framework development is very expensive, not only because of the intrinsic difficulty related to capturing the domain knowledge, but also because of the lack of appropriate method...
137
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
149
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
For the business communication by email with cellular phones, it has an important weak point. That is to hard to tell to be utterance speed and the pitch of sounds involved in the ...