Sciweavers

676 search results - page 62 / 136
» A model and architecture for situation determination
Sort
View
KI
2008
Springer
13 years 8 months ago
Shallow Models for Non-iterative Modal Logics
Abstract. Modal logics see a wide variety of applications in artificial intelligence, e.g. in reasoning about knowledge, belief, uncertainty, agency, defaults, and relevance. From ...
Lutz Schröder, Dirk Pattinson
ASMTA
2009
Springer
114views Mathematics» more  ASMTA 2009»
14 years 3 days ago
Improving the Efficiency of the Proxel Method by Using Individual Time Steps
Discrete stochastic models (DSM) are widely used in various application fields today. Proxel-based simulation can outperform discrete event-based approaches in the analysis of smal...
Claudia Krull, Robert Buchholz, Graham Horton
ICCD
2007
IEEE
99views Hardware» more  ICCD 2007»
13 years 12 months ago
Power reduction of chip multi-processors using shared resource control cooperating with DVFS
This paper presents a novel power reduction method for chip multi-processors (CMPs) under real-time constraints. While the power consumption of processing units (PUs) on CMPs can ...
Ryo Watanabe, Masaaki Kondo, Hiroshi Nakamura, Tak...
EUSFLAT
2007
122views Fuzzy Logic» more  EUSFLAT 2007»
13 years 9 months ago
Supporting Consumer Decision by Fuzzy Revealed Preference in Online Sales
This paper deals with a model of decision– making in two stages. In the first stage from a set of expertises one chooses the most rational ones, while in the second stage one o...
Irina Georgescu, Xuemei Qiu, Ranran Lin
DAC
1997
ACM
14 years 8 days ago
CLIP: An Optimizing Layout Generator for Two-Dimensional CMOS Cells
We present a novel technique CLIP for optimizing both the height and width of CMOS cell layouts in the two-dimensional (2D) style. CLIP is based on integer-linear programming (ILP...
Avaneendra Gupta, John P. Hayes