2586 search results - page 359 / 518 » Automatic Abstraction for Congruences |
158
click to vote
CAISE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The increasing need for device independence and personalization forces organizations to automatically adapt their Web Information Systems (WISs) to individual users and t...
158
click to vote
CAISE
2005
Springer
15 years 12 months ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
237
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
134
click to vote
CICLING
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Transliterating words and names from one language to another is a frequent and highly productive phenomenon. For example, English word cache is transliterated in Japanese...
186
click to vote
CICLING
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The purpose of information extraction (IE) is to find desired pieces of information in natural language texts and store them in a form that is suitable for automatic pro...