4666 search results - page 377 / 934 » Equations on Timed Languages |
215
Voted
TCOS
2010
15 years 1 months ago
2010
Abstract. In [24] Raddum and Semaev propose a technique to solve systems of polynomial equations over F2 as occurring in algebraic attacks on block ciphers. This approach is known ...
179
Voted
TWC
2010
15 years 1 months ago
2010
In this paper, the performance of cellular networks with joint multicell processing and dedicated relay terminals is investigated. It is assumed that each relay terminal is capable...
301
Voted
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
182
Voted
CICLING
2005
Springer
16 years 12 days ago
2005
Springer
We are presenting a description of the UNL initiative based on the Universal Networking Language (UNL). This language was conceived to be the support of the multilingual communicat...
176
click to vote
CICLING
2001
Springer
15 years 11 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...