3385 search results - page 478 / 677 » Language, Logic, and the Brain |
169
click to vote
ETFA
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
147
click to vote
FDL
2005
IEEE
16 years 5 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
154
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...
177
click to vote
RULEML
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
139
click to vote
PASTE
2004
ACM
15 years 12 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...