1847 search results - page 287 / 370 » Hybrid Functional Interpretations |
83
Voted
SUTC
2008
IEEE
15 years 4 months ago
2008
IEEE
Testing and verification methodologies for Wireless Sensor Networks (WSN) systems in pre-deployment are vital for a successful deployment. Increased visibility of the internal st...
ICDM
2007
IEEE
15 years 4 months ago
2007
IEEE
Frequent itemsets mining is a popular framework for pattern discovery. In this framework, given a database of customer transactions, the task is to unearth all patterns in the for...
ISBI
2007
IEEE
15 years 4 months ago
2007
IEEE
Using a high-resolution (30 MHz) ultrasound system (Vevo 770, VisualSonics Inc.) and a retrospective ECGgating technique, an extremely high frame-rate (up to 8 kHz) was previously...
97
Voted
GPCE
2007
Springer
15 years 4 months ago
2007
Springer
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done ...
103
Voted
LFCS
2007
Springer
15 years 4 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...