3342 search results - page 481 / 669 » Automating Abstract Interpretation |
236
click to vote
RR
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy l...
148
click to vote
SEMWEB
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Ontology mapping is the key to data interoperability in the semantic web. This problem has received a lot of research attention, however, the research emphasis has been m...
167
click to vote
XPU
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. The automated collection of source code metrics can help agile teams to understand the software they are producing, allowing them to adapt their daily practices towards a...
151
Voted
ICRA
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— Compliant mechanisms provide an attractive alternative to conventional rigid mechanisms in the design of ultra low-cost precision positioning systems. The desirable per...
171
click to vote
IROS
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...