3973 search results - page 549 / 795 » Records for Logic Programming |
126
click to vote
UM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Telecommunication applications based on user modeling focus on extracting customer behavior and preferences from the information implicitly included in Call Detail Record...
159
click to vote
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
Team collaboration is essential for the success of multi-developer projects. When team members are spread across different locations, individual awareness of the activity of other...
151
click to vote
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. VoIP has become a major application of multimedia communications over IP. Many initiatives around the world focus on the detection of attacks against VoIP services and in...
109
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Modern music production often uses pre-recorded pieces of audio, so-called samples, taken from a huge sample database. Consequently, there is an increasing demand to extensively a...
137
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...