4095 search results - page 537 / 819 » How to test a tree |
147
click to vote
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
137
Voted
NAACL
2010
15 years 1 months ago
2010
Two of the mechanisms for creating natural transitions between adjacent sentences in a text, resulting in local coherence, involve discourse relations and switches of focus of att...
99
Voted
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Dialogue interaction between customers and products improves presentation of relevant product information in in-store shopping situations. Thus, information needs of cust...
131
Voted
SOCIALCOM
2010
15 years 1 months ago
2010
Online communities are connecting large numbers of individuals and generating rich social network data, opening the way for empirical studies of social behavior. In this paper, we ...
134
Voted
FORTE
2009
15 years 1 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...