696 search results - page 64 / 140 » Explaining abstract counterexamples |
152
click to vote
CAEPIA
2003
Springer
15 years 8 months ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
115
click to vote
ECAL
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Whiskers are versatile sensors for short-range navigation and exploration that are widespread in many animal species, especially in rodents. Their arrangement is in very ...
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— This paper deals with realization theory of socalled Nash systems, i.e. nonlinear systems the right-hand side of which is defined by Nash functions. A Nash function is...
121
click to vote
ECML
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper proposes a generic extension to propositional rule learners to handle multiple-instance data. In a multiple-instance representation, each learning example is r...
WEBI
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper is about a new research field called Web Intelligence (WI for short). We try to explain the needs for coining the term as a sub-discipline of computer science...