Sciweavers

1929 search results - page 50 / 386
» A Problem Space Approach to Expert System Specification
Sort
View
92
Voted
ECAI
2008
Springer
15 years 5 months ago
A New Approach to Planning in Networks
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 ...
Jussi Rintanen
ASPDAC
2000
ACM
97views Hardware» more  ASPDAC 2000»
15 years 8 months ago
Symbolic debugging of globally optimized behavioral specifications
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 ...
Inki Hong, Darko Kirovski, Miodrag Potkonjak, Mari...
107
Voted
ICIP
2005
IEEE
16 years 5 months ago
Sampling in practice: is the best reconstruction space bandlimited?
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, ...
Sathish Ramani, Dimitri Van De Ville, Michael Unse...
130
Voted
CODES
2004
IEEE
15 years 7 months ago
Efficient search space exploration for HW-SW partitioning
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...
Sudarshan Banerjee, Nikil D. Dutt
USS
2008
15 years 5 months ago
Unidirectional Key Distribution Across Time and Space with Applications to RFID Security
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) ...
Ari Juels, Ravikanth Pappu, Bryan Parno