1131 search results - page 107 / 227 » Making Sense of Twitter |
119
click to vote
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
The popularity of web objects, and by extension the popularity of the web sites, besides the appearance of clear footprints in user's accesses that show a considerable spatia...
121
click to vote
CARDIS
2000
Springer
15 years 8 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
175
click to vote
FLAIRS
2006
15 years 5 months ago
2006
Advances in sensing and communication technology make sensor networks a convenient and cost effective tool for collecting data in hard to reach and hazardous areas Increasingly, s...
119
click to vote
NIPS
2003
15 years 5 months ago
2003
Is there a way for an algorithm linked to an unknown body to infer by itself information about this body and the world it is in? Taking the case of space for example, is there a w...
106
click to vote
COLING
1990
15 years 5 months ago
1990
ct. PC Beta is a PC oriented tool for corpus work in this term's broadest possible sense. With PC Beta one can prepare texts for corpus work, e.g. standardize texts in differe...