6583 search results - page 510 / 1317 » Semantic Analysis Patterns |
169
click to vote
JAPLL
2008
15 years 7 months ago
2008
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
195
Voted
JAR
2008
15 years 7 months ago
2008
We analyze three proof strategies commonly used in deductive verification of deterministic sequential programs formalized with operational semantics. The strategies are: (i) stepw...
192
click to vote
TKDE
2008
15 years 7 months ago
2008
Nowadays, searches for the web pages of a person with a given name constitute a notable fraction of queries to Web search engines. Such a query would normally return web pages rela...
206
click to vote
CN
2002
15 years 7 months ago
2002
XML is a now a dominant standard for storing and exchanging information. With its increasing use in areas such as data warehousing and e-commerce, there is a rapidly growing need ...
201
click to vote
MTA
2007
15 years 7 months ago
2007
This paper proposes a framework to aid video analysts in detecting suspicious activity within the tremendous amounts of video data that exists in today’s world of omnipresent su...