4126 search results - page 208 / 826 » Set based logic programming |
112
Voted
RSCTC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Acute abdominal pain in childhood is a common but diagnostically challenging problem facing Emergency Department personnel. Experienced physicians use a combination of ke...
129
Voted
KDD
2002
ACM
16 years 3 months ago
2002
ACM
Rule mining is an important data mining task that has been applied to numerous real-world applications. Often a rule mining system generates a large number of rules and only a sma...
120
Voted
ISTA
2003
15 years 4 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
147
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
135
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...