3388 search results - page 270 / 678 » Type-theoretic design patterns |
172
click to vote
ACL
2003
15 years 8 months ago
2003
An investment of effort over the last two years has begun to produce a wealth of data concerning computational psycholinguistic models of syntax acquisition. The data is generated...
127
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
166
click to vote
ET
2002
15 years 6 months ago
2002
In this paper a novel architecture for scan-based mixed mode BIST is presented. To reduce the storage requirements for the deterministic patterns it relies on a two-dimensional co...
202
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—In IEEE 802.11 Wireless LAN (WLAN) systems, techniques such as acknowledgement, retransmission, and transmission rate adaptation, are frame-level mechanisms designed for combati...
165
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
A representation for observing local image content is proposed for the purpose of considering the distinguishing characteristics of visual content that tends to draw a human obser...