Sciweavers

8555 search results - page 1335 / 1711
» Property Based Coordination
Sort
View
VL
2009
IEEE
150views Visual Languages» more  VL 2009»
16 years 2 months ago
Discovery-based edit assistance for spreadsheets
Spreadsheets can be viewed as a highly flexible endusers programming environment which enjoys wide-spread adoption. But spreadsheets lack many of the structured programming conce...
Jácome Cunha, João Saraiva, Joost Vi...
ICDM
2009
IEEE
133views Data Mining» more  ICDM 2009»
16 years 2 months ago
On K-Means Cluster Preservation Using Quantization Schemes
This work examines under what conditions compression methodologies can retain the outcome of clustering operations. We focus on the popular k-Means clustering algorithm and we dem...
Deepak S. Turaga, Michail Vlachos, Olivier Versche...
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
16 years 2 months ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...
ICPP
2009
IEEE
16 years 2 months ago
A Strategy-proof Pricing Scheme for Multiple Resource Type Allocations
Abstract—Resource sharing on the Internet is becoming increasingly pervasive. Recently, there is growing interest in distributed systems such as peer-to-peer and grid, with effor...
Yong Meng Teo, Marian Mihailescu
ICRA
2009
IEEE
161views Robotics» more  ICRA 2009»
16 years 2 months ago
Multi-vehicle path planning in dynamically changing environments
— In this paper, we propose a path planning method for nonholonomic multi-vehicle system in presence of moving obstacles. The objective is to find multiple fixed length paths f...
Ali Ahmadzadeh, Nader Motee, Ali Jadbabaie, George...
« Prev « First page 1335 / 1711 Last » Next »