22193 search results - page 3955 / 4439 » Multiple Restricted Multiplication |
160
click to vote
SEMWEB
2007
Springer
16 years 7 days ago
2007
Springer
This paper summarizes the results of the X-SOM tool in the OAEI 2007 campaign. X-SOM is an extensible ontology mapper that combines various matching algorithms by means of a feed-f...
248
click to vote
SMALLTALK
2007
Springer
16 years 7 days ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
173
click to vote
STACS
2007
Springer
16 years 7 days ago
2007
Springer
We consider the problem of computing an approximate minimum cycle basis of an undirected non-negative edge-weighted graph G with m edges and n vertices; the extension to directed ...
189
click to vote
TACAS
2007
Springer
16 years 7 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
168
click to vote
TAMC
2007
Springer
16 years 7 days ago
2007
Springer
In previous work we have introduced an average-case measure for the time complexity of Boolean circuits – that is the delay between feeding the input bits into a circuit and the ...