Sciweavers

1051 search results - page 166 / 211
» Nonuniform in time state estimation of dynamic systems
Sort
View
IJCAI
2003
15 years 7 months ago
Definition and Complexity of Some Basic Metareasoning Problems
In most real-world settings, due to limited time or other resources, an agent cannot perform all potentially useful deliberation and information gathering actions. This leads to t...
Vincent Conitzer, Tuomas Sandholm
CORR
2011
Springer
149views Education» more  CORR 2011»
15 years 1 months ago
General Iteration graphs and Boolean automata circuits
This article is set in the eld of regulation networks modeled by discrete dynamical systems. It focuses on Boolean automata networks. In such networks, there are many ways to upd...
Mathilde Noual
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 12 days ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
CEAS
2005
Springer
15 years 12 months ago
Throttling Outgoing SPAM for Webmail Services
Spam has become a serious problem of Internet, and the current defense is limited to the filters deployed at the recipient side. Little known research has been applied to reduce ...
Zhenyu Zhong, Kun Huang, Kang Li
VR
2002
IEEE
125views Virtual Reality» more  VR 2002»
15 years 11 months ago
A Scalable, Multi-User VRML Server
VRML97 allows the description of dynamic worlds that can change with both the passage of time, and user interaction. Unfortunately, the current VRML usage model prevents its full ...
Thomas Rischbeck, Paul Watson