3233 search results - page 267 / 647 » Rule Modeling and Markup |
183
click to vote
IV
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper introduces an immersive virtual reality application that allows users to browse and explore the contents of database systems. We have implemented a visualization metaph...
149
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
135
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
131
Voted
IJCAI
2007
15 years 7 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
165
click to vote
COLING
1996
15 years 7 months ago
1996
Prepositional phrase attachment is a major cause of stru(:tural alnbiguity in natural language. Recent work has been dependent on corpus-based approaches to deal with this problem...