6155 search results - page 181 / 1231 » A language for multiple models of computation |
172
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The identification of reliable and interesting items on Internet becomes more and more difficult and time consuming. This paper is a position paper describing our intend...
300
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
245
click to vote
TITS
2002
15 years 6 months ago
2002
The wide variety of remote sensors used in Intelligent Transportation Systems (ITS) applications (loops, probe vehicles, radar, cameras, etc.) has created a need for general method...
156
click to vote
ESOP
2005
Springer
16 years 1 days ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
179
click to vote
GRAMMARS
2002
15 years 6 months ago
2002
Recent models of natural language processing employ statistical reasoning for dealing with the ambiguity of formal grammars. In this approach, statistics, concerning the various li...