Sciweavers

4325 search results - page 345 / 865
» Incremental computation with names
Sort
View
179
Voted
GECCO
2005
Springer
156views Optimization» more  GECCO 2005»
16 years 11 days ago
Evolving analog controllers for correcting thermoacoustic instability in real hardware
Previous research demonstrated that Evolvable Hardware (EH) techniques can be employed to suppress Thermoacoustic (TA) instability in a computer simulated combustion chamber. Thou...
Saranyan Vigraham, John C. Gallagher, Sanjay K. Bo...
ICSOC
2005
Springer
16 years 10 days ago
Pattern-Based Specification and Validation of Web Services Interaction Properties
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
Zheng Li, Jun Han, Yan Jin
MIRRORBOT
2005
Springer
154views Robotics» more  MIRRORBOT 2005»
16 years 10 days ago
Spatial Representation and Navigation in a Bio-inspired Robot
Abstract. A biologically inspired computational model of rodent representation–based (locale) navigation is presented. The model combines visual input in the form of realistic tw...
Denis Sheynikhovich, Ricardo Chavarriaga, Thomas S...
201
Voted
PKDD
2005
Springer
164views Data Mining» more  PKDD 2005»
16 years 9 days ago
Clustering and Prediction of Mobile User Routes from Cellular Data
Location-awareness and prediction of future locations is an important problem in pervasive and mobile computing. In cellular systems (e.g., GSM) the serving cell is easily availabl...
Kari Laasonen
VIZSEC
2005
Springer
16 years 9 days ago
Visualization of Automated Trust Negotiation
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...
Danfeng Yao, Michael Shin, Roberto Tamassia, Willi...