4854 search results - page 277 / 971 » It's the Programming, Stupid |
202
click to vote
COLING
2000
15 years 8 months ago
2000
This paper presents a robust client/server implementation of a word sense disambiguator for English. This system associates a word with its meaning in a given context using dictio...
191
click to vote
WSC
1997
15 years 8 months ago
1997
We introduce SIDE (the acronym stands for Sensors In a Distributed Environment)—a software package for developing control programs for reactive systems. One distinctive feature ...
158
click to vote
ENTCS
2007
15 years 7 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
162
click to vote
MOR
2006
15 years 7 months ago
2006
We introduce an axiomatic definition of a conditional convex risk mapping and we derive its properties. In particular, we prove a representation theorem for conditional risk mappi...
175
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...