Sciweavers

1928 search results - page 82 / 386
» Integrity Constraints in OWL
Sort
View
DALT
2008
Springer
15 years 8 months ago
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
Koen V. Hindriks, M. Birna van Riemsdijk
OR
2002
Springer
15 years 5 months ago
Sharpe style analysis in the msci sector portfolios: a monte carlo integration approach
We examine a decision-theoretic Bayesian framework for the estimation of Sharpe Style portfolio weights of the MSCI sector returns. Following van Dijk and Kloek (1980) an appropri...
George A. Christodoulakis
ECBS
1999
IEEE
112views Hardware» more  ECBS 1999»
15 years 10 months ago
Metaprogrammable Toolkit for Model-Integrated Computing
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
Ákos Lédeczi, Miklos Maroti, Gabor K...
ICPR
2008
IEEE
16 years 7 months ago
Multi-cue collaborative kernel tracking with cross ratio invariant constraint
In this paper, a novel multi-cue collaborative kernel tracking algorithm is proposed. A new constraint based on the property of cross ratio invariant enables tracking of objects i...
Hanqing Lu, Jian Cheng, Lili Ma
DAC
2006
ACM
16 years 7 months ago
An efficient retiming algorithm under setup and hold constraints
In this paper we present a new efficient algorithm for retiming sequential circuits with edge-triggered registers under both setup and hold constraints. Compared with the previous...
Chuan Lin, Hai Zhou