Sciweavers

3 search results - page 1 / 1
» Consistency of strictly impredicative NF and a little more ....
Sort
View
65
Voted
JSYML
2010
52views more  JSYML 2010»
14 years 4 months ago
Consistency of strictly impredicative NF and a little more ..
Sergei Tupailo
SIGCOMM
1997
ACM
15 years 1 months ago
Consistent Overhead Byte Stuffing
—Byte stuffing is a process that encodes a sequence of data bytes that may contain ‘illegal’ or ‘reserved’ values, using a potentially longer sequence that contains no oc...
Stuart Cheshire, Mary Baker
102
Voted
ECAI
2010
Springer
14 years 8 months ago
Local search algorithms on the Stable Marriage Problem: Experimental Studies
The stable marriage problem (SM) has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools, or more general...
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, ...