2702 search results - page 304 / 541 » Practically Applicable Formal Methods |
128
Voted
MMNS
2003
15 years 4 months ago
2003
Multicasting is an important communication mechanism for implementing real-time multimedia applications, which usually require the underlying network to provide a number of quality...
108
click to vote
JCP
2008
15 years 2 months ago
2008
The aim of this study is to develop a computational method of discourse analysis based on corpus semantics. The objective is to achieve an accurate understanding of the debate cont...
159
Voted
INFSOF
2006
15 years 2 months ago
2006
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
131
Voted
EAAI
2007
15 years 2 months ago
2007
This paper recapitulates the results of a long research on a family of artificial intelligence (AI) methods—relying on, e.g., artificial neural networks and search techniques...
127
Voted
JELIA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Many logics for AI applications that are defined by denotational semantics are trivialized in the presence of inconsistency. It is therefore often desirable, and practic...