Sciweavers

1061 search results - page 144 / 213
» A general definition of malware
Sort
View
AOSD
2007
ACM
15 years 3 months ago
A static aspect language for checking design rules
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
Clint Morgan, Kris De Volder, Eric Wohlstadter
CIKM
2009
Springer
15 years 3 months ago
Empirical justification of the gain and discount function for nDCG
The nDCG measure has proven to be a popular measure of retrieval effectiveness utilizing graded relevance judgments. However, a number of different instantiations of nDCG exist, d...
Evangelos Kanoulas, Javed A. Aslam
DLS
2007
159views Languages» more  DLS 2007»
15 years 3 months ago
Relationally-parametric polymorphic contracts
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
Arjun Guha, Jacob Matthews, Robert Bruce Findler, ...
GIS
2009
ACM
15 years 3 months ago
Next generation map making: geo-referenced ground-level LIDAR point clouds for automatic retro-reflective road feature extractio
This paper presents a novel method to process large scale, ground level Light Detection and Ranging (LIDAR) data to automatically detect geo-referenced navigation attributes (traf...
Xin Chen, Brad Kohlmeyer, Matei Stroila, Narayanan...
ACOM
2004
Springer
15 years 3 months ago
A Model of Rational Agency for Communicating Agents
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
Shakil M. Khan, Yves Lespérance