6047 search results - page 1013 / 1210 » Modeling with Extend |
134
Voted
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
We investigate the task of finding links from Wikipedia pages to external web pages. Such external links significantly extend the information in Wikipedia with information from ...
108
Voted
WCNC
2010
IEEE
15 years 7 months ago
2010
IEEE
—This paper addresses the sampling jitter estimation and cancellation task in direct RF sub-sampling type radios. The proposed jitter estimation method is based on carefully inje...
140
click to vote
FORMATS
2009
Springer
15 years 7 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
239
Voted
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
118
Voted
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...