Sciweavers

4212 search results - page 291 / 843
» Rights Expression Languages
Sort
View
DALT
2005
Springer
16 years 5 days ago
Beliefs in Agent Implementation
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
Laurens Winkelhagen, Mehdi Dastani, Jan Broersen
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
15 years 12 months ago
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
Avi Ziv
WISE
2003
Springer
15 years 12 months ago
A Graphical Environment to Query XML Data with XQuery
XQuery, the standard query language for XML, is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to ...
Daniele Braga, Alessandro Campi
FM
2003
Springer
88views Formal Methods» more  FM 2003»
15 years 12 months ago
A Semantic Foundation for TCOZ in Unifying Theories of Programming
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
155
Voted
NLPRS
2001
Springer
15 years 11 months ago
Sentence Extraction by Questioning
This paper presents a sentence extraction method based on Concept Coupling Model, a language model for handling natural language sentence structures. Sentence extraction is perfor...
Zenshiro Kawasaki, Keiji Shibata, Masato Tajima