6020 search results - page 193 / 1204 » A New Approach to Model Counting |
139
Voted
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper a new and powerful computer simulation capability for the characterization of carbonaceous nanoparticle assemblies across multiple, connected scales, starting from th...
123
click to vote
IJCNLP
2005
Springer
15 years 10 months ago
2005
Springer
Ordering information is a difficult but a important task for natural language generation applications. A wrong order of information not only makes it difficult to understand, but a...
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Research suggests that in order for GSS to be deployed successfully over the long term, it must be integrated into the daily work practices of an organization, in support of repea...
130
Voted
IUI
1999
ACM
15 years 9 months ago
1999
ACM
er has outlined the potential of multiagent framework for decision support. From an abstract point of view, the concept of an agent has been used as modularization principle for th...
119
click to vote
ISPD
1997
ACM
15 years 8 months ago
1997
ACM
— In this paper, we consider the thermal placement problem for gate arrays. We introduce a new combinatorial optimization problem, matrix synthesis problem (MSP), to model the th...