2920 search results - page 366 / 584 » Finite information logic |
176
click to vote
LPNMR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...
182
click to vote
TABLEAUX
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
184
click to vote
FSKD
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, an intelligent power management scheme for embedded systems with wireless applications is proposed to reduce the power consumption of the overall system. The propose...
168
click to vote
DAS
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents a complete system that historians/archivists can use to digitize whole collections of documents relating to personal information. The system integrates tools an...
168
click to vote
SEKE
2004
Springer
16 years 9 hour ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...