3229 search results - page 278 / 646 » The Theory of Timed Automata |
179
click to vote
ECCC
2011
14 years 10 months ago
2011
The last two decades have seen enormous progress in the development of sublinear-time algorithms — i.e., algorithms that examine/reveal properties of “data” in less time tha...
175
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
196
Voted
XPU
2009
Springer
16 years 1 months ago
2009
Springer
The Agile Manifesto values “customer collaboration over contract negotiation”. However, in many real projects, Agile practitioners spend considerable time and effort negotiati...
160
click to vote
CCS
2007
ACM
16 years 28 days ago
2007
ACM
Keystroke typing characteristics is considered as one of the important biometric features that can be used to protect users against malicious attacks. In this paper we propose a s...
175
click to vote
SYNASC
2006
IEEE
16 years 23 days ago
2006
IEEE
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advan...