3679 search results - page 372 / 736 » Hybrid Semantic Analysis |
171
click to vote
JAR
2008
15 years 6 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...
175
click to vote
TKDE
2008
15 years 6 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...
179
click to vote
CN
2002
15 years 6 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 ...
180
Voted
MTA
2007
15 years 6 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...
174
click to vote
IJCAT
2010
15 years 5 months ago
2010
Abstract: This paper presents a method for semi-automatically building tailored application ontologies from a set of data acquisition forms. Such ontologies are intended to facilit...