Sciweavers

16504 search results - page 403 / 3301
» New Problems, New Solutions
Sort
View
CAISE
2005
Springer
16 years 13 days ago
Query Processing Using Ontologies
Abstract. Recently, the database and AI research communities have paid increased attention to ontologies. The main motivating reason is that ontologies promise solutions for comple...
Chokri Ben Necib, Johann Christoph Freytag
CAV
2005
Springer
104views Hardware» more  CAV 2005»
16 years 13 days ago
Expand, Enlarge and Check... Made Efficient
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
Gilles Geeraerts, Jean-François Raskin, Lau...
WDAG
1997
Springer
106views Algorithms» more  WDAG 1997»
15 years 11 months ago
Performing Tasks on Restartable Message-Passing Processors
Abstract. This work presents new algorithms for the "Do-All" problem that consists of performing t tasks reliably in a message-passing synchronous system of p fault-prone...
Bogdan S. Chlebus, Roberto De Prisco, Alexander A....
IADIS
2003
15 years 8 months ago
Change Management and Collaborative Technologies: An Industry Survey
Organisations have encouraged the use of group working over the past 10 years. However this has led to social and cultural upheaval in some organisations. In addition new technolo...
Alan Hogarth
AAAI
2000
15 years 8 months ago
Asynchronous Search with Aggregations
Many problem-solving tasks can be formalized as constraint satisfaction problems (CSPs). In a multi-agent setting, information about constraints and variables may belong to differ...
Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Falt...