21108 search results - page 194 / 4222 » A General Class of Models of |
136
click to vote
ECRTS
2007
IEEE
16 years 27 days ago
2007
IEEE
Feasibility analysis determines (prior to system execution-time) whether a specified collection of hard-realtime jobs executed on a processing platform can meet all deadlines. In...
190
click to vote
ICCBR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Although similarity measures play a crucial role in CBR applications, clear methodologies for defining them have not been developed yet. One approach to simplify the de...
158
click to vote
FMSD
1998
15 years 6 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
173
click to vote
COMBINATORICS
2004
15 years 6 months ago
2004
Haglund and Loehr previously conjectured two equivalent combinatorial formulas for the Hilbert series of the Garsia-Haiman diagonal harmonics modules. These formulas involve weigh...
173
click to vote
GEOINFORMATICA
1998
15 years 6 months ago
1998
The nature of map generalization may be non-uniform along the length of an individual line, requiring the application of methods that adapt to the local geometry and the geographi...