12774 search results - page 198 / 2555 » A Framework for Proof Systems |
148
Voted
ICCD
2005
IEEE
16 years 1 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
120
click to vote
DSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Traditionally, an embedded system design process demands a considerable amount of expertise, time and money. This makes developing embedded systems difficult for many companies, a...
152
click to vote
ELPUB
2004
ACM
15 years 10 months ago
2004
ACM
- This article presents a framework for a XML based search system composed by three layers: data layer, logic layer and presentation layer. In all three layers XML related technolo...
163
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
This paper describes a statistically motivated framework for performing real-time dialogue state updates and policy learning in a spoken dialogue system. The framework is based on...
123
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
In response to changing requirements and other environmental influences, software systems are increasingly developed incrementally. Successful implementation of new features in e...