1929 search results - page 50 / 386 » A Problem Space Approach to Expert System Specification |
118
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Control of networks like those for transportation, power distribution, communication to name a few, provides challenges to planning and scheduling. Many problems can be defined in ...
147
click to vote
ASPDAC
2000
ACM
15 years 10 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
131
click to vote
ICIP
2005
IEEE
16 years 7 months ago
2005
IEEE
Shannon's sampling theory and its variants provide effective solutions to the problem of reconstructing a signal from its samples in some "shift-invariant " space, ...
157
click to vote
CODES
2004
IEEE
15 years 9 months ago
2004
IEEE
Hardware/software (HW-SW) partitioning is a key problem in the codesign of embedded systems, studied extensively in the past. One major open challenge for traditional partitioning...
139
click to vote
USS
2008
15 years 8 months ago
2008
We explore the problem of secret-key distribution in unidirectional channels, those in which a sender transmits information blindly to a receiver. We consider two approaches: (1) ...