3658 search results - page 707 / 732 » Founding properties on measurement |
WADT
2004
Springer
14 years 1 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
ATAL
2003
Springer
14 years 27 days ago
2003
Springer
In this paper we present a genetic algorithm-based approach towards designing self-assembling objects comprised of square smart blocks. Each edge of each block can have one of thr...
EWMF
2003
Springer
14 years 27 days ago
2003
Springer
Abstract With the ongoing shift from off-line to on-line business processes, the Web has become an important business platform, and for most companies it is crucial to have an on-...
ILP
2003
Springer
14 years 26 days ago
2003
Springer
In the case of concept learning from positive and negative examples, it is rarely possible to find a unique discriminating conjunctive rule; in most cases, a disjunctive descripti...
ICRA
2002
IEEE
14 years 18 days ago
2002
IEEE
This article presents a new approach to movement planning, on-line trajectory modification, and imitation learning by representing movement plans based on a set of nonlinear di...