Sciweavers

3025 search results - page 555 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
IFIP
2007
Springer
15 years 6 months ago
An Architecture for the Self-management of Lambda-Connections in Hybrid Networks
Hybrid networks are networks capable of switching data at multiple levels (optical and IP packet level) by means of multi-service optical switches. As a result of that, huge flows...
Tiago Fioreze, Remco van de Meent, Aiko Pras
LICS
2005
IEEE
15 years 5 months ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
SENSYS
2005
ACM
15 years 5 months ago
Algorithms for generic role assignment in wireless sensor networks
We consider configuration of wireless sensor networks, where certain functions must be automatically assigned to sensor nodes, such that the properties of a sensor node (e.g., rem...
Christian Frank, Kay Römer
CP
2005
Springer
15 years 5 months ago
Mechanism Design for Preference Aggregation over Coalitions
The aggregation of individuals’ preferences into a single group outcome is both well-studied and fundamental within decision theory. Historically, though, a pervasive simplifica...
Eric I. Hsu, Sheila A. McIlraith
ECLIPSE
2004
ACM
15 years 5 months ago
JTutor: an Eclipse plug-in suite for creation and replay of code-based tutorials
Programming courses of all levels rely heavily on code examples. Often, to cover non-trivial subjects, it is convenient to present examples in the form of a tutorial. Such tutoria...
Chris Kojouharov, Aleksey Solodovnik, Gleb Naumovi...