Sciweavers

375 search results - page 31 / 75
» Making Abstract Machines Less Abstract
Sort
View
101
Voted
ESWS
2008
Springer
15 years 6 days ago
The Creation and Evaluation of iSPARQL Strategies for Matchmaking
Abstract. This research explores a new method for Semantic Web service matchmaking based on iSPARQL strategies, which enables to query the Semantic Web with techniques from traditi...
Christoph Kiefer, Abraham Bernstein
80
Voted
PPSN
2010
Springer
14 years 8 months ago
Evolving a Single Scalable Controller for an Octopus Arm with a Variable Number of Segments
Abstract. While traditional approaches to machine learning are sensitive to highdimensional state and action spaces, this paper demonstrates how an indirectly encoded neurocontroll...
Brian G. Woolley, Kenneth O. Stanley
CSMR
2010
IEEE
14 years 5 months ago
Under and Over Approximation of State Models Recovered for Ajax Applications
Abstract--In contrast to conventional multi-page Web applications, an Ajax application is developed as a single-page application in which content and structure are changed at runti...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 1 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
MICCAI
2006
Springer
15 years 11 months ago
GPU Based Real-Time Instrument Tracking with Three Dimensional Ultrasound
Abstract. Real-time 3D ultrasound can enable new image-guided surgical procedures, but high data rates prohibit the use of traditional tracking techniques. We present a new method ...
Paul M. Novotny, Jeffrey A. Stoll, Nikolay V. Vasi...