Sciweavers

493 search results - page 26 / 99
» Strategies and simulations in a semantic framework
Sort
View
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 4 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
HPDC
2006
IEEE
15 years 3 months ago
Exploring I/O Strategies for Parallel Sequence-Search Tools with S3aSim
Parallel sequence-search tools are rising in popularity among computational biologists. With the rapid growth of sequence databases, database segmentation is the trend of the futu...
Avery Ching, Wu-chun Feng, Heshan Lin, Xiaosong Ma...
TIP
2010
117views more  TIP 2010»
14 years 4 months ago
Cooperation Stimulation Strategies for Peer-to-Peer Wireless Live Video-Sharing Social Networks
Abstract--Human behavior analysis in video sharing social networks is an emerging research area, which analyzes the behavior of users who share multimedia content and investigates ...
W. Sabrina Lin, H. Vicky Zhao, K. J. Ray Liu
CLEF
2010
Springer
14 years 11 months ago
Validating Query Simulators: An Experiment Using Commercial Searches and Purchases
Abstract. We design and validate simulators for generating queries and relevance judgments for retrieval system evaluation. We develop a simulation framework that incorporates exis...
Bouke Huurnink, Katja Hofmann, Maarten de Rijke, M...
CMPB
2010
109views more  CMPB 2010»
14 years 10 months ago
Cell Accelerated Cryoablation Simulation
Abstract. Tracking growth of lethal ice is critical to success of percutaneous ablations using supercooled probes introduced into cancerous lesions. Physicians lack planning tools ...
Daniel J. Blezek, David G. Carlson, Lionel T. Chen...