453 search results - page 75 / 91 » Geometric logic as a Specification Language |
139
Voted
EMNLP
2010
15 years 1 months ago
2010
In contrast with the booming increase of internet data, state-of-art QA (question answering) systems, otherwise, concerned data from specific domains or resources such as search e...
167
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
140
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
151
Voted
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
139
Voted
WSC
1997
15 years 5 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...