Sciweavers

10392 search results - page 1843 / 2079
» Introduction to Computer Science
Sort
View
JUCS
2007
89views more  JUCS 2007»
15 years 6 months ago
Mashups: Emerging Application Development Paradigm for a Digital Journal
: The WWW is currently experiencing a revolutionary growth due to its increasing participative community software applications. This paper highlights an emerging application develo...
Narayanan Kulathuramaiyer
CORR
2004
Springer
118views Education» more  CORR 2004»
15 years 6 months ago
Understanding Search Trees via Statistical Physics
We study the random m-ary search tree model (where m stands for the number of branches of the search tree), an important problem for data storage in computer science, using a varie...
Satya N. Majumdar, David S. Dean, Paul L. Krapivsk...
AEI
2000
120views more  AEI 2000»
15 years 6 months ago
A neural network approach for a robot task sequencing problem
This paper presents a neural network approach with successful implementation for the robot task-sequencing problem. The problem addresses the sequencing of tasks comprising loadin...
Oded Maimon, Dan Braha, Vineet Seth
CONCURRENCY
2002
122views more  CONCURRENCY 2002»
15 years 6 months ago
The Grid Portal Development Kit
Computational science portals are emerging as useful and necessary interfaces for performing operations on the Grid. The Grid Portal Development Kit (GPDK) facilitates the develop...
Jason Novotny
EATCS
2000
108views more  EATCS 2000»
15 years 6 months ago
The Underlying Logic of Hoare Logic
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
Andreas Blass, Yuri Gurevich
« Prev « First page 1843 / 2079 Last » Next »