Sciweavers

5639 search results - page 626 / 1128
» Timed Abstract Non-interference
Sort
View
224
Voted
ML
1998
ACM
220views Machine Learning» more  ML 1998»
15 years 6 months ago
Learning to Improve Coordinated Actions in Cooperative Distributed Problem-Solving Environments
Abstract. Coordination is an essential technique in cooperative, distributed multiagent systems. However, sophisticated coordination strategies are not always cost-effective in all...
Toshiharu Sugawara, Victor R. Lesser
SIU
2002
97views more  SIU 2002»
15 years 6 months ago
Problem Generators for Rectangular packing problems
Abstract. In order to verify and test the performance of new packing algorithms relative to existing algorithms, test problems are needed. The scope of published test instances for...
E. Hopper, B. C. H. Turton
177
Voted
TVLSI
1998
123views more  TVLSI 1998»
15 years 6 months ago
On-line fault detection for bus-based field programmable gate arrays
Abstract—We introduce a technique for on-line built-in selftesting (BIST) of bus-based field programmable gate arrays (FPGA’s). This system detects deviations from the intende...
N. R. Shnidman, William H. Mangione-Smith, Miodrag...
190
Voted
TCS
2002
15 years 6 months ago
The continuum as a final coalgebra
oole.stanford.edu/pub/ABSTRACTS Pratt, V.R., "Transition and Cancellation in Concurrency and Branching Time", Math. Structures in Comp. Sci., 13:4, 485-529, August 2003. ...
Dusko Pavlovic, Vaughan R. Pratt
173
Voted
TSMC
2002
95views more  TSMC 2002»
15 years 6 months ago
On the development of a cooperative tutoring environment on computer networks
Abstract--In developing a tutoring system, one of the most difficult tasks is to collect tutoring knowledge from multiple educators, especially courses in which the contents change...
Gwo-Jen Hwang