4126 search results - page 397 / 826 » Set based logic programming |
121
click to vote
FSKD
2006
Springer
15 years 8 months ago
2006
Springer
Interval number is a kind of special fuzzy number and the interval approach is a good method to deal with some uncertainty. The semi-absolute deviation risk function is extended to...
151
Voted
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
123
Voted
STOC
2001
ACM
16 years 4 months ago
2001
ACM
Recently Rothemund and Winfree 6] have considered the program size complexity of constructing squares by selfassembly. Here, we consider the time complexity of such constructions ...
125
click to vote
IEEEARES
2010
IEEE
15 years 11 months ago
2010
IEEE
—Program obfuscation is often employed by malware in order to avoid detection by anti-virus software, but it has many other legitimate uses, such as copy protection, software lic...
141
Voted
PLDI
2004
ACM
15 years 10 months ago
2004
ACM
Although dynamic program slicing was first introduced to aid in user level debugging, applications aimed at improving software quality, reliability, security, and performance hav...