Sciweavers

2132 search results - page 361 / 427
» Automated software winnowing
Sort
View
EPIA
2009
Springer
15 years 10 months ago
An ILP System for Learning Head Output Connected Predicates
Inductive Logic Programming (ILP) [1] systems are general purpose learners that have had significant success on solving a number of relational problems, particularly from the biol...
José Carlos Almeida Santos, Alireza Tamaddo...
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
15 years 10 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
EICS
2009
ACM
15 years 10 months ago
A toolkit for peer-to-peer distributed user interfaces: concepts, implementation, and applications
In this paper we present a software toolkit for deploying peer-topeer distributed graphical user interfaces across four dimensions: multiple displays, multiple platforms, multiple...
Jérémie Melchior, Donatien Grolaux, ...
VRST
2009
ACM
15 years 10 months ago
3D object arrangement for novice users: the effectiveness of combining a first-person and a map view
Arranging 3D objects in Virtual Environments can be a complex, error prone and time consuming task, especially for users who are not familiar with interfaces for 3D navigation and...
Luca Chittaro, Roberto Ranon, Lucio Ieronutti
SIGCSE
2010
ACM
183views Education» more  SIGCSE 2010»
15 years 10 months ago
Electronic commerce virtual laboratory
Website security is essential for successful e-commerce ventures, but the vital “how-to” components of security are often lacking in academic courses. This paper describes our...
Joel Coffman, Alfred C. Weaver