21342 search results - page 174 / 4269 » Structured language modeling |
139
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
131
click to vote
CICLING
2001
Springer
15 years 7 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 ...
210
Voted
NLE
2011
14 years 6 months ago
2011
Reciprocity is a pervasive concept that plays an important role in governing people’s behavior, judgments, and thus their social interactions. In this paper we present an analys...
138
click to vote
SAC
2003
ACM
15 years 8 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
130
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...