1034 search results - page 121 / 207 » Inference of field initialization |
130
Voted
MM
2004
ACM
15 years 8 months ago
2004
ACM
With the growing popularity of digitized sports video, automatic analysis of them need be processed to facilitate semantic summarization and retrieval. Playfield plays the fundame...
147
Voted
POPL
2010
ACM
16 years 1 days ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
121
click to vote
SYNTHESE
2008
15 years 2 months ago
2008
This article goes to the foundations of Statistical Inference through a review of Carnap's logic theory of induction. From this point of view, it brings another solution to t...
114
Voted
TNN
1998
15 years 2 months ago
1998
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
139
Voted
TON
2010
14 years 9 months ago
2010
Network diagnosis, an essential research topic for traditional networking systems, has not received much attention for wireless sensor networks. Existing sensor debugging tools li...