4126 search results - page 440 / 826 » Set based logic programming |
121
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Human Resources Management (HRM) is the strategic management of the employees, who individually and collectively contribute to the achievement of the strategic goals of an organiza...
139
click to vote
RSEISP
2007
Springer
15 years 10 months ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
109
click to vote
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, the problem of determining if a given sequential specification can be made to fit a predetermined set of shape constraints is explored. Shape constraints are constr...
107
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
We describe a highly accurate but e cient fault simulator for interconnect opens, based on characterizing the standard cell library with SPICE; using transistor charge equations f...
124
click to vote
ATVA
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...