Sciweavers

433 search results - page 61 / 87
» A history of the history of programming languages
Sort
View
RWEB
2009
Springer
16 years 19 days ago
Description Logics
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
Franz Baader
VL
2008
IEEE
151views Visual Languages» more  VL 2008»
16 years 14 days ago
Codetrail: Connecting source code and web resources
When faced with the need for documentation, examples, bug fixes, error descriptions, code snippets, workarounds, templates, patterns, or advice, software developers frequently tu...
Max Goldman, Robert C. Miller
HYBRID
2000
Springer
15 years 9 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
CORR
2010
Springer
219views Education» more  CORR 2010»
15 years 6 months ago
Finding Sequential Patterns from Large Sequence Data
Data mining is the task of discovering interesting patterns from large amounts of data. There are many data mining tasks, such as classification, clustering, association rule mini...
Mahdi Esmaeili, Fazekas Gabor
OTM
2010
Springer
15 years 4 months ago
A Context-Based Model for the Interpretation of Polysemous Terms
The problem of polysemy involves having terms, such as “truck”, that refer to multiple concepts in different contexts; and conversely, having the same concept referred to with...
Chrisa Tsinaraki, Yannis Velegrakis, Nadzeya Kiyav...