Sciweavers

4679 search results - page 130 / 936
» Modeling When Connections Are the Problem
Sort
View
EMO
2005
Springer
108views Optimization» more  EMO 2005»
15 years 7 months ago
Multi-objective Model Optimization for Inferring Gene Regulatory Networks
With the invention of microarray technology, researchers are able to measure the expression levels of ten thousands of genes in parallel at various time points of a biological proc...
Christian Spieth, Felix Streichert, Nora Speer, An...
ICLP
1997
Springer
15 years 5 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
ICRA
2008
IEEE
117views Robotics» more  ICRA 2008»
15 years 8 months ago
Tracking hidden agents through shadow information spaces
— This paper addresses problems of inferring the locations of moving agents from combinatorial data extracted by robots that carry sensors. The agents move unpredictably and may ...
Jingjin Yu, Steven M. LaValle
TCAD
2002
85views more  TCAD 2002»
15 years 1 months ago
Architectural energy optimization by bus splitting
This paper proposes split shared-bus architecture to reduce the energy dissipation for global data exchange among a set of interconnected modules. The bus splitting problem for mi...
Cheng-Ta Hsieh, Massoud Pedram
IJCAI
2003
15 years 3 months ago
ODISET: On-line Distributed Session Tracing using Agents
When a security incident occurs it is sometimes necessary to identify its causes for legal and cautionary purposes. In an attempt to hide the origin of her connection, a malicious...
Salvador Mandujano, Arturo Galván