717 search results - page 133 / 144 » Establishing relationships for designing rural information s... |
193
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
The Border Gateway Protocol (BGP) is the standard protocol for exchanging routing information between border routers of Autonomous Systems (ASes) in today's Internet. Within a...
192
click to vote
KDD
2005
ACM
16 years 6 days ago
2005
ACM
This paper describes a successful but challenging application of data mining in the railway industry. The objective is to optimize maintenance and operation of trains through prog...
174
Voted
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
186
click to vote
SIGGRAPH
1993
ACM
15 years 10 months ago
1993
ACM
We believe that navigation in information spaces is best supported by tapping into our natural spatial and geographic ways of thinking. To this end, we are developing a new comput...
182
click to vote
WLP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...