2920 search results - page 245 / 584 » Finite information logic |
170
click to vote
ICS
2001
Tsinghua U.
15 years 11 months ago
2001
Tsinghua U.
A large logical register file is important to allow effective compiler transformations or to provide a windowed space of registers to allow fast function calls. Unfortunately, a l...
225
Voted
FORTE
1994
15 years 8 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
167
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. We propose a deep study on tissue modelization and classification Techniques on T1-weighted MR images. Three approaches have been taken into account to perform this valid...
174
click to vote
IDA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Finite mixture models can be used in estimating complex, unknown probability distributions and also in clustering data. The parameters of the models form a complex repres...
179
click to vote
CP
2004
Springer
16 years 2 days ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...