Sciweavers

1422 search results - page 97 / 285
» A Framework for Understanding Botnets
Sort
View
EXACT
2008
15 years 6 months ago
Deriving Explanations From Partial Temporal Information
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
Jixin Ma, Brian Knight, Miltos Petridis
COLING
2008
15 years 5 months ago
Metaphor in Textual Entailment
Metaphor understanding in Computational Linguistics has largely been focused on the development of stand-alone prototypes for which only small-scale evaluations are carried out. T...
Rodrigo Agerri
131
Voted
ECIS
2004
15 years 5 months ago
Fight risk with risk: reflexivity of risk and globalization in IS
In this paper, we address the following research question: "How can we understand the nature of risk in IS projects in the context of globalization?" Based on a case stu...
Edoardo Jacucci, Miria Grisot, Ole Hanseth
JFPLC
2004
15 years 5 months ago
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
Gérard Ferrand, Willy Lesaint, Alexandre Te...
142
Voted
ENTCS
2007
86views more  ENTCS 2007»
15 years 3 months ago
Tool Support for Proof Engineering
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
Anne Mulhern, Charles Fischer, Ben Liblit