722 search results - page 88 / 145 » A New Framework for Computer Science and Engineering |
101
click to vote
WWW
2010
ACM
15 years 8 months ago
2010
ACM
We present the conceptual framework of the Social Honeypot Project for uncovering social spammers who target online communities and initial empirical results from Twitter and MySp...
101
Voted
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
151
click to vote
Publication
Modern urban regions are highly complex entities. Despite the difficulty of modeling every relevant aspect of an urban region, researchers have produced a rich variety of models de...
117
Voted
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
102
click to vote
DIS
2004
Springer
15 years 7 months ago
2004
Springer
The two main challenges typically associated with mining data streams are concept drift and data contamination. To address these challenges, we seek learning techniques and models ...