4052 search results - page 658 / 811 » Computing personalized pageranks |
206
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
184
click to vote
DIS
1999
Springer
15 years 10 months ago
1999
Springer
After two decades of research on automated discovery, many principles are shaping up as a foundation of discovery science. In this paper we view discovery science as automation of ...
187
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
We consider the problem of location management of mobile users. The objective is to keep track of the mobile users in order to deliver calls. The IS-41 is a simple strategy for loc...
233
click to vote
ISWC
1998
IEEE
15 years 10 months ago
1998
IEEE
system to date has served all of the needs of wearable computing--light weight, minimum effort, high power generation, convenient power delivery, and good power regulation. We beli...
195
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....