2529 search results - page 408 / 506 » The Logical Structure of Binding |
162
click to vote
ATAL
2009
Springer
16 years 28 days ago
2009
Springer
Online virtual worlds such as Second Life provide a rich medium for unstructured human interaction in a shared simulated 3D environment. However, many human interactions take place...
198
click to vote
TPHOL
2008
IEEE
16 years 22 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
183
click to vote
KBSE
2007
IEEE
16 years 19 days ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
185
click to vote
ICCS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
168
click to vote
ICDM
2006
IEEE
16 years 12 days ago
2006
IEEE
There has been a lot of recent interest in mining patterns from graphs. Often, the exact structure of the patterns of interest is not known. This happens, for example, when molecu...