Sciweavers

1822 search results - page 149 / 365
» The Method of Assigning Incidences
Sort
View
FORTE
1997
15 years 6 months ago
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks
In this paper, we propose an implementation method for specifications of distributed systems described in a subclass of LOTOS where operators such as choice and disabling can be ...
Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto...
ISMB
1997
15 years 6 months ago
Prediction of Enzyme Classification from Protein Sequence without the Use of Sequence Similarity
1 W’edescribe a novel approach for predicting the function of a protein from its amino-acid sequence. Given features that can be computedfrom the amino-acid sequence in a straigh...
Marie desJardins, Peter D. Karp, Markus Krummenack...
AAAI
1992
15 years 5 months ago
From Statistics to Beliefs
An intelligent agent uses known facts, including statistical knowledge, to assign degrees of belief to assertions it is uncertain about. We investigate three principled techniques...
Fahiem Bacchus, Adam J. Grove, Daphne Koller, Jose...
GECCO
2008
Springer
128views Optimization» more  GECCO 2008»
15 years 5 months ago
Multi-agent task allocation: learning when to say no
This paper presents a communication-less multi-agent task allocation procedure that allows agents to use past experience to make non-greedy decisions about task assignments. Exper...
Adam Campbell, Annie S. Wu, Randall Shumaker
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
15 years 4 months ago
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
Weixun Wang, Xiaoke Qin, Prabhat Mishra