586 search results - page 70 / 118 » Automated Reasoning on Aspects Interactions |
ILP
1999
Springer
13 years 12 months ago
1999
Springer
Most real-world data is heterogeneous and richly interconnected. Examples include the Web, hypertext, bibliometric data and social networks. In contrast, most statistical learning...
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
AOSD
2006
ACM
14 years 1 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
AIED
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we discuss how Artificial Intelligence (AI) techniques might be brought to bear in automatically recognizing “creative reasoning” in student e-discussions. An AI...
ISMIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Information graphics such as bar, line and pie charts appear frequently in electronic media and often contain information that is not found elsewhere in documents. Unfort...