2173 search results - page 262 / 435 » Building computer models from small pieces |
189
click to vote
ASE
2005
15 years 6 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
171
click to vote
COCOON
2008
Springer
15 years 8 months ago
2008
Springer
The problem of determining haplotypes from genotypes has gained considerable prominence in the research community since the beginning of the HapMap project. Here the focus is on de...
168
click to vote
DATE
2006
IEEE
16 years 19 days ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
151
click to vote
ICPR
2010
IEEE
16 years 6 days ago
2010
IEEE
—We propose a new method for online estimation of probabilistic discriminative models. The method is based on the recently proposed online Kernel Density Estimation (oKDE) framew...
205
click to vote
HCI
2009
15 years 4 months ago
2009
A mirror world, which is a virtual space modeling a physical space, attracts enormous interests from VR community recently. Various applications such as Second Life, Google Earth a...