935 search results - page 119 / 187 » Stable models and difference logic |
PPSWR
2005
Springer
14 years 1 months ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
SARA
2009
Springer
14 years 7 days ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
AI
2008
Springer
13 years 7 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
ASPDAC
2009
ACM
14 years 2 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
FC
2006
Springer
13 years 11 months ago
2006
Springer
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...