664 search results - page 109 / 133 » Some results for a class of generalized polynomials |
108
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
117
click to vote
CLIMA
2007
15 years 3 months ago
2007
Abstract. Task-based planning problems for multi-agent systems require multiple agents to find a joint plan for a constrained set of tasks. Typically, each agent receives a subset...
138
click to vote
IANDC
2008
15 years 2 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
114
click to vote
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
This paper discusses building complex classifiers from a single labeled example and vast number of unlabeled observation sets, each derived from observation of a single process or...
112
click to vote
KDD
1998
ACM
15 years 6 months ago
1998
ACM
Classification rule mining aims to discover a small set of rules in the database that forms an accurate classifier. Association rule mining finds all the rules existing in the dat...