1266 search results - page 200 / 254 » AS Relationships: Inference and Validation |
113
click to vote
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
DKE
2008
15 years 19 days ago
2008
Due to the heterogeneous nature of XML data for internet applications exact matching of queries is often inadequate. The need arises to quickly identify subtrees of XML documents ...
108
Voted
FSS
2008
15 years 18 days ago
2008
We work with fuzzy Turing machines (FTMs) and we study the relationship between this computational model and classical recursion concepts such as computable functions, recursively...
106
Voted
DATAMINE
2006
15 years 18 days ago
2006
Clustering with partial supervision finds its application in situations where data is neither entirely nor accurately labeled. This paper discusses a semisupervised clustering algo...
105
Voted
DSS
2006
15 years 17 days ago
2006
This study investigates how customers perceive and adopt Internet Banking (IB) in Hong Kong. We developed a theoretical model based on the Technology Acceptance Model (TAM) with a...