Sciweavers

3062 search results - page 97 / 613
» A Language Modeling Approach for Temporal Information Needs
Sort
View
114
Voted
ENTCS
2010
161views more  ENTCS 2010»
15 years 24 days ago
Bone Remodelling in BioShape
Many biological phenomena are inherently multiscale, i.e. they are characterised by interactions involving different scales at the same time. This is the case of bone remodelling,...
Federico Buti, Diletta Cacciagrano, Flavio Corradi...
CIBSE
2009
ACM
15 years 10 months ago
A two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...
IEAAIE
2011
Springer
14 years 6 months ago
Model Checking Commitment Protocols
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
111
Voted
DAC
2003
ACM
15 years 8 months ago
Advanced techniques for RTL debugging
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
Yu-Chin Hsu, Bassam Tabbara, Yirng-An Chen, Fur-Sh...
ICIP
2004
IEEE
16 years 5 months ago
Multisensor raster and vector data fusion based on uncertainty modeling
We propose a new methodology for fusing temporally changing multisensor raster and vector data by developing a spatially and temporally varying uncertainty model of acquired and t...
Sang-Chul Lee, Peter Bajcsy