1456 search results - page 127 / 292 » Two Techniques to Improve Finite Model Search |
AIPS
2000
13 years 9 months ago
2000
The paradigm of advisable planning, in which a user provides guidance to influence the content of solutions produced by an underlying planning system, holds much promise for impro...
WAOA
2004
Springer
14 years 1 months ago
2004
Springer
A prevailing feature of mobile telephony systems is that the location of a mobile user may be unknown. Therefore, when the system has to establish a call between users, it may nee...
CLEF
2011
Springer
12 years 7 months ago
2011
Springer
In this paper, we reported some experiments conducted by our members in the SIG team at the IRIT laboratory in the University of Toulouse within the context of the medical informat...
ICCAD
1997
IEEE
14 years 7 days ago
1997
IEEE
An algorithm that remains in use at the core of many partitioning systems is the Kernighan-Lin algorithm and a variant the Fidducia-Matheysses (FM) algorithm. To understand the FM...
MM
2010
ACM
13 years 8 months ago
2010
ACM
The problem of joint modeling the text and image components of multimedia documents is studied. The text component is represented as a sample from a hidden topic model, learned wi...