Sciweavers

1940 search results - page 94 / 388
» The Dynamic Logic of Permission
Sort
View
APPINF
2003
15 years 7 months ago
Towards Modelling an Intelligent Calendar Agent with LUPS
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
Juan Carlos Acosta Guadarrama, Mauricio Javier Oso...
LPNMR
2005
Springer
15 years 12 months ago
Nonmonotonic Reasoning in FLORA-2
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
Michael Kifer
GLVLSI
2002
IEEE
122views VLSI» more  GLVLSI 2002»
15 years 11 months ago
A compact delay model for series-connected MOSFETs
A compact delay model for series connected MOSFETs has been derived. This model enables accurate prediction of worst-case delay of different logic families such as dynamic logic. ...
Kaveh Shakeri, James D. Meindl
TAMODIA
2008
15 years 8 months ago
Preserving Rich User Interface State in Web Applications across Various Platforms
This paper aims to provide thorough discussion of the aspects that compose the state of a Web application user interface, and show how it can be preserved across multiple devices w...
Fabio Paternò, Carmen Santoro, Antonio Scor...
GECCO
2005
Springer
171views Optimization» more  GECCO 2005»
16 years 10 hour ago
Behaviorally coupled emergent representation
Traditionally, representation has been perceived as a necessity for producing intelligent behavior. Once the right representation is in place to drive it, behavior unfolds as the ...
Joseph Lewis, Jamie Lawson