2335 search results - page 223 / 467 » Type Checking Type Classes |
102
Voted
MIE
2008
15 years 2 months ago
2008
Background: Physicians' adherence to guidelines can be used for measuring prescribing appropriateness. We present a simple approach allowing the automation of this process. De...
113
Voted
STACS
2007
Springer
15 years 6 months ago
2007
Springer
Strategic games may exhibit symmetries in a variety of ways. A characteristic feature, enabling the compact representation of games even when the number of players is unbounded, i...
100
Voted
ICGI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Left deteministic linear languages are a subclass of the context free languages that includes all the regular languages. Recently was proposed an algorithm to identify in...
104
click to vote
TISSEC
2008
15 years 16 days ago
2008
In commonplace text-based password schemes, users typically choose passwords that are easy to recall, exhibit patterns, and are thus vulnerable to brute-force dictionary attacks. ...
92
Voted
COMBINATORICS
2004
15 years 14 days ago
2004
The Ramsey game we consider in this paper is played on an unbounded set of vertices by two players, called Builder and Painter. In one move Builder introduces a new edge and Paint...