2496 search results - page 133 / 500 » Error-detecting properties of languages |
99
Voted
AAAI
2007
15 years 3 months ago
2007
This paper formalizes a well-known psychological model of emotions in an agent specification language. This is done by introducing a logical language and its semantics that are u...
FMOODS
2007
15 years 2 months ago
2007
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
104
Voted
EMNLP
2010
14 years 10 months ago
2010
We describe a new approach to SMT adaptation that weights out-of-domain phrase pairs according to their relevance to the target domain, determined by both how similar to it they a...
95
Voted
CC
2004
Springer
15 years 6 months ago
2004
Springer
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
133
Voted
SIES
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...