209 search results - page 30 / 42 » Inductive Reasoning and Programming Visualization, an Experi... |
101
click to vote
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we study the problem of the fast selection of video objects, as an aid for the efficient semi-automatic annotation of video programs. In a regular system, the user ...
123
Voted
KES
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
109
click to vote
IIE
2008
15 years 1 months ago
2008
Abstract. Biology has moved from a bench-based discipline to a bioinformational science in modern times but application of computational and analytical methods of informatics in it...
167
Voted
ICLP
2011
Springer
14 years 5 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
207
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...