Sciweavers

1153 search results - page 206 / 231
» Compositional Specification Calculus for Information Systems...
Sort
View
IJSWIS
2007
113views more  IJSWIS 2007»
15 years 3 months ago
A Formal Foundation for Ontology-Alignment Interaction Models
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...
W. Marco Schorlemmer, Yannis Kalfoglou, Manuel Ate...
123
Voted
AI
2000
Springer
15 years 3 months ago
Using temporal logics to express search control knowledge for planning
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
Fahiem Bacchus, Froduald Kabanza
165
Voted
SOPR
1998
117views more  SOPR 1998»
15 years 3 months ago
Software processes: a retrospective and a path to the future
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...
Gianpaolo Cugola, Carlo Ghezzi
160
Voted
TASLP
2002
156views more  TASLP 2002»
15 years 3 months ago
Musical genre classification of audio signals
Abstract--Musical genres are categorical labels created by humans to characterize pieces of music. A musical genre is characterized by the common characteristics shared by its memb...
George Tzanetakis, Perry R. Cook
117
Voted
MICCAI
2010
Springer
15 years 1 months ago
Micro-force Sensing in Robot Assisted Membrane Peeling for Vitreoretinal Surgery
Abstract. Vitreoretinal surgeons use 0.5mm diameter instruments to manipulate delicate tissue inside the eye while applying imperceptible forces that can cause damage to the retina...
Marcin Balicki, Ali Uneri, Iulian Iordachita, Jame...