10412 search results - page 1444 / 2083 » The efficiency of algorithms - misconceptions |
200
click to vote
CL
2004
Springer
15 years 7 months ago
2004
Springer
Much of the elegance and power of Smalltalk comes from its programming environment and tools. First introduced more than 20 years ago, the Smalltalk browser enables programmers to...
198
click to vote
COMPSEC
2004
15 years 7 months ago
2004
Identifying the intentions or attempts of the monitored agents through observations is very vital in computer network security. In this paper, a plan recognition method for predict...
208
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
132
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
Often adaptive, distributed control can be viewed as an iterated game between independent players. The coupling between the players' mixed strategies, arising as the system ev...
156
click to vote
CG
2002
Springer
15 years 7 months ago
2002
Springer
Abstract. Post's correspondence problem (PCP) is a classic undecidable problem. Its theoretical unbounded search space makes it hard to judge whether a PCP instance has a solu...