3233 search results - page 381 / 647 » Rule Modeling and Markup |
205
Voted
ACMICEC
2005
ACM
16 years 8 days ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
169
click to vote
IBERAMIA
2004
Springer
16 years 2 days ago
2004
Springer
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models sema...
169
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a methodology for estimating and optimising FPGA routing fabrics using high-level modelling and convex optimisation techniques. Experimental methods for explor...
196
click to vote
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...
154
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a system of absolute localization based on the stereoscopic omnidirectional vision. To do it we use an original perception system which allows our omnidirectio...