3053 search results - page 379 / 611 » Structured Objects: Modeling and Reasoning |
137
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Increased market dynamics, shorter product lifecycles and a higher customer involvement in product design have caused great changes to competitive conditions and many companies ar...
225
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
113
click to vote
STACS
2010
Springer
15 years 10 months ago
2010
Springer
Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree of overlap without being in conflict. This subclass of perfect graphs has bee...
128
click to vote
WECWIS
2008
IEEE
15 years 10 months ago
2008
IEEE
Reverse pricing as a special form of dynamic pricing has become a growing interest in e-commerce. It gives buyers an active role: The price of a transaction is not given by the su...
121
Voted
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...