Sciweavers

2411 search results - page 210 / 483
» Information Integration in Service-oriented Computing
Sort
View
219
Voted
ICLP
2009
Springer
16 years 4 months ago
Constraint Answer Set Solving
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
Martin Gebser, Max Ostrowski, Torsten Schaub
130
Voted
HAPTICS
2008
IEEE
15 years 10 months ago
Electrotactile Stimulation Based on Strain Energy Density of the Fingertip
Abstract. The shape recognition of an object is important for dexterous manipulation by humans. Therefore, we have developed a haptic display that integrates both electrotactile an...
Katsunari Sato, Hideaki Nii, Naoki Kawakami, Susum...
HAPTICS
2008
IEEE
15 years 10 months ago
Higher Precision in Volume Haptics through Subdivision of Proxy Movements
Volume haptics has become an increasingly popular way of adding guidance and improving information bandwidth in scientific visualization. State-of-the-art methods, however, use li...
Karljohan E. Lundin Palmerius, George Baravdish
OOPSLA
2007
Springer
15 years 9 months ago
Towards a framework for requirement change management in healthcare software applications
Requirements volatility is an issue in software development life cycle which often originated from our incomplete knowledge about the domain of interest. In this paper, we propose...
Arash Shaban-Nejad, Volker Haarslev
SUM
2007
Springer
15 years 9 months ago
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
Mónica Caniupán Marileo, Leopoldo E....