6608 search results - page 1232 / 1322 » On the Completeness of Model Checking |
128
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...
140
Voted
TASLP
2008
15 years 3 months ago
2008
Hands-free devices are often used in a noisy and reverberant environment. Therefore, the received microphone signal does not only contain the desired near-end speech signal but als...
141
Voted
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
Multi-view learning algorithms typically assume a complete bipartite mapping between the different views in order to exchange information during the learning process. However, ma...
136
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— Many architectures have been proposed to solve tightly-coupled multirobot tasks (MT) through coalitions of heterogeneous robots. However, several issues remain unaddressed. As ...
152
Voted
JOLLI
2010
15 years 2 months ago
2010
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle sema...