1929 search results - page 110 / 386 » A Problem Space Approach to Expert System Specification |
147
Voted
BIRTHDAY
2007
Springer
15 years 7 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
154
click to vote
PC
2002
15 years 3 months ago
2002
Saddle-point problems give rise to indefinite linear systems that are challenging to solve via iterative methods. This paper surveys two recent techniques for solving such problem...
158
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
250
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
The skyline operator returns from a set of multi-dimensional objects a subset of superior objects that are not dominated by others. This operation is considered very important in ...
106
click to vote
CERA
2007
15 years 3 months ago
2007
: In the mold parts industry, customers typically place orders for order-made parts with some changes to the design specifications of ready-made parts within the extent of the manu...