8828 search results - page 1545 / 1766 » Formal methods in practice |
143
click to vote
JAIR
2006
15 years 4 months ago
2006
In this paper we propose a data intensive approach for inferring sentence-internal temporal relations. Temporal inference is relevant for practical NLP applications which either e...
132
click to vote
JOT
2008
15 years 4 months ago
2008
At the moment, enterprises require complex business models with an organizational structures, processes and systems that must be explicitly designed. The work designed by these bu...
164
click to vote
JSAC
2008
15 years 4 months ago
2008
In this paper, we propose a new joint optimization of linear transmit beamforming and receive combining vectors for the multiple-input multiple-output (MIMO) broadcast channel. We ...
149
click to vote
JUCS
2008
15 years 4 months ago
2008
: When the user interface is specified, a picture is worth a thousand words, and the worst thing one can do is write a natural-language specification for it. Because this practice ...
138
click to vote
JLP
2006
15 years 4 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...