3028 search results - page 244 / 606 » Integrating Temporal Logics |
183
click to vote
ICMI
2003
Springer
16 years 15 days ago
2003
Springer
Multimodal interfaces are designed with a focus on flexibility, although very few currently are capable of adapting to major sources of user, task, or environmental variation. The...
201
click to vote
LPNMR
2005
Springer
16 years 23 days ago
2005
Springer
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
211
click to vote
ICSM
2002
IEEE
16 years 6 days ago
2002
IEEE
Component recovery and remodularization is a means to get back control on large and complex legacy systems suffering from ad-hoc changes by recovering logical components and restr...
205
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
243
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
The increase of personal digital cameras with video functionality and video-enabled camera phones has increased the amount of user-generated videos on the Web. People are spending ...