4592 search results - page 216 / 919 » Framework for Studying Substitution |
238
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Non-negative tensor factorization (NTF) is a relatively new technique that has been successfully used to extract significant characteristics from polyadic data, such as data in s...
191
click to vote
CAV
2005
Springer
16 years 23 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
237
click to vote
BIRTHDAY
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
246
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
We present a generic mobility and traffic generation framework that can be incorporated into a tool for modeling and simulating large scale ad hoc networks. Three components of thi...
178
click to vote
CLUSTER
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a middleware framework for storing, accessing and analyzing massive-scale semantic graphs. The framework, MSSG, targets scale-free semantic graphs with O(1012 ...