1438 search results - page 97 / 288 » An Expressive Extension of TLC |
91
Voted
JSW
2008
15 years 22 days ago
2008
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
108
click to vote
IANDC
2007
15 years 21 days ago
2007
Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the specification of reactive systems. It is often called the linear tim...
100
click to vote
JCP
2007
15 years 20 days ago
2007
Abstract— The extensible markup language XML has become indispensable in many areas, but a significant disadvantage is its size: tagging a set of data increases the space needed...
94
Voted
TASLP
2002
15 years 12 days ago
2002
With the rapidly growing use of the audio and multimedia information over the Internet, the technology for retrieving speech information using voice queries is becoming more and mo...
123
Voted
LICS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible fro...