9626 search results - page 1790 / 1926 » Invariant Based Programming |
157
click to vote
IC
2003
15 years 3 months ago
2003
: Remote real laboratories deal with performing real lab experiments remotely via Internet. Recent advances in Internet/web technologies and computer-controlled instrumentation all...
127
click to vote
TREC
2004
15 years 3 months ago
2004
The quality of an information retrieval system heavily depends on its retrieval function, which returns a similarity measurement between the query and each document in the collect...
111
click to vote
WIS
2004
15 years 3 months ago
2004
: To enable users to utilize the services of various providers of multimedia services based on the session initiation protocol (SIP), some kind of interaction is required between t...
101
click to vote
SODA
1997
ACM
15 years 3 months ago
1997
ACM
We study graph partitioning problems on graphs with edge capacities and vertex weights. The problems of b-balanced cuts and k-balanced partitions are unified into a new problem ca...
107
click to vote
WSC
2000
15 years 3 months ago
2000
Significant advances have been made in the field of construction process modeling. However, no convenient graphical support tools exist that can depict the modeled operations in 3...