2777 search results - page 450 / 556 » Example centric programming |
128
click to vote
CAEPIA
2009
Springer
15 years 3 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
124
click to vote
SIGCOMM
2010
ACM
15 years 2 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
105
click to vote
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
Probabilistic language models are critical to applications in natural language processing that include speech recognition, optical character recognition, and interfaces for text e...
112
click to vote
COMPSAC
2008
IEEE
15 years 2 months ago
2008
IEEE
Software that has been well tested and analyzed may fail unpredictably when a certain combination of conditions occurs. In Bounded Exhaustive Testing (BET) all combinations are te...
AAMAS
2008
Springer
15 years 2 months ago
2008
Springer
Despite several examples of deployed agent systems, there remain barriers to the large-scale adoption of agent technologies. In order to understand these barriers, this paper consi...