1802 search results - page 100 / 361 » Model-based Theory Combination |
FUIN
2010
13 years 7 months ago
2010
Given a set of taxa S and a complete set of quartet topologies Q over S, the problem of determining a phylogeny that satisfies the maximum number of topologies is called the Maxi...
ICIP
1998
IEEE
14 years 10 months ago
1998
IEEE
This paper introduces a new generalisation of the familiar scale-space and wavelet representations, designed specifically to deal with the complexities of representing motions ind...
WECWIS
2007
IEEE
14 years 3 months ago
2007
IEEE
Iterative Combinatorial Auctions (ICA) have been getting increasing attention both from researchers and in practice as they can increase efficiency of complex markets with substi...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract - A cell delay model based on rate-of-currentchange is presented, which accounts for the impact of the shape of the noisy waveform on the output voltage waveform. More pre...
EICS
2010
ACM
13 years 11 months ago
2010
ACM
Information Systems UI (User Interface) generation from declarative models has been the focus of numerous and various approaches in the human computer interaction community. Typic...