1268 search results - page 101 / 254 » One Logic to Use Them All |
ECAI
2004
Springer
14 years 4 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
INTETAIN
2009
Springer
14 years 5 months ago
2009
Springer
News aggregators are widely used to read RSS feeds but they require the user to be in front of a screen. While moving, people usually do not have any display, or very small ones. M...
UML
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. As the UML attempts to make the transition from a single, albeit extensible, language to a framework for a family of languages, the nature and form of the underlying meta...
CGO
2005
IEEE
14 years 4 months ago
2005
IEEE
Program execution traces are frequently used in industry and academia. Yet, most trace-compression algorithms have to be re-implemented every time the trace format is changed, whi...
TSD
2010
Springer
13 years 9 months ago
2010
Springer
The vocabulary used in speech usually consists of two types of words: a limited set of common words, shared across multiple documents, and a virtually unlimited set of rare words, ...