1127 search results - page 157 / 226 » GUI structural metrics |
134
click to vote
ECML
1991
Springer
15 years 7 months ago
1991
Springer
Robust reasoning requires learning from problem solving episodes. Past experience must be compiled to provide adaptation to new contingencies and intelligent modification of solut...
137
Voted
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
We propose a dynamic faceted search system for discoverydriven analysis on data with both textual content and structured attributes. From a keyword query, we want to dynamically s...
129
click to vote
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
127
click to vote
SDM
2010
SIAM
15 years 4 months ago
2010
SIAM
We introduce a novel Bayesian framework for hybrid community discovery in graphs. Our framework, HCDF (short for Hybrid Community Discovery Framework), can effectively incorporate...
ICMCS
2010
IEEE
15 years 4 months ago
2010
IEEE
In many scenarios, such as TV/radio advertising production, animation production, and presentation, music pieces are constrained in the metric of time. For example, an editor want...