275 search results - page 23 / 55 » Structural Information Analysis for CLP Languages |
136
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
180
Voted
JUCS
2008
15 years 3 months ago
2008
: During the last decades, digital objects have become the primary medium to create, shape, and exchange information. However, in contrast to analog objects such as books that dire...
105
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Newborns must learn to structure incoming acoustic information into segments, words, phrases, etc., before they can start to learn language. This process is thought to rely on mod...
267
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
A memory leak in a garbage-collected program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap grow...
144
Voted
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
There is an increasing amount of structure on the Web as a result of modern Web languages, user tagging and annotation, and emerging robust NLP tools. These meaningful, semantic, ...