4231 search results - page 436 / 847 » Using Language More Responsibly |
128
click to vote
OTM
2009
Springer
16 years 28 days ago
2009
Springer
Natural language-based conceptual modelling as well as the use of diagrams have been essential components of fact-oriented modelling from its inception. However, transforming natur...
168
click to vote
VL
2008
IEEE
16 years 23 days ago
2008
IEEE
Recent research has begun to report that female enduser programmers are often more reluctant than males to employ features that are useful for testing and debugging. These earlier...
149
click to vote
CPAIOR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. This work presents methods for processing a constraint satisfaction problem (CSP) formulated by an expression-based language, before the CSP is presented to a stochastic ...
160
click to vote
MICAI
2007
Springer
16 years 16 days ago
2007
Springer
Previous work on context-specific independence in Bayesian networks is driven by a common goal, namely to represent the conditional probability tables in a most compact way. In th...
150
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...