3971 search results - page 536 / 795 » On the Use of Properties in Java Applications |
194
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
While support vector machines (SVMs) have shown great promise in supervised classification problems, researchers have had to rely on expert domain knowledge when choosing the SVM&...
204
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
207
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Wireless sensor networks are promising solutions for many applications. However, wireless sensor nodes suffer from many constraints such as low computation capability, small memory...
239
click to vote
3DPVT
2006
IEEE
15 years 11 months ago
2006
IEEE
Object modeling under consideration of geometric constraints is an important task. In this paper we describe a novel approach to achieving this goal. It has the nice property that...
198
click to vote
AUSAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...