2173 search results - page 326 / 435 » Building computer models from small pieces |
177
click to vote
CASSIS
2004
Springer
16 years 7 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
230
click to vote
NAACL
2010
15 years 4 months ago
2010
We present a novel deterministic dependency parsing algorithm that attempts to create the easiest arcs in the dependency structure first in a non-directional manner. Traditional d...
191
click to vote
TGC
2007
Springer
16 years 29 days ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
189
click to vote
MM
2004
ACM
16 years 8 days ago
2004
ACM
One of the prime reasons movie and music studios have ignored the Internet for open-networked multimedia content delivery, has been the lack of a technology that can support a sec...
215
click to vote
SCN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Lattice reduction is known to be a very powerful tool in modern cryptanalysis. In the literature, there are many lattice reduction algorithms that have been proposed with...