3605 search results - page 530 / 721 » Associated types with class |
134
Voted
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
138
Voted
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper investigates a class of learning problems called learning satisfiability (LSAT) problems, where the goal is to learn a set in the input (feature) space that satisfies...
132
click to vote
SIGITE
2005
ACM
15 years 10 months ago
2005
ACM
Many undergraduate IT programs recognize that their graduates will find jobs as software developers. As such, software development (analysis and design) courses are often a core r...
135
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
153
Voted
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we consider the problem of searching for a node or an object (i.e., piece of data, file, etc.) in a large network. Applications of this problem include searching fo...