1636 search results - page 172 / 328 » Type-Theoretic Functional Semantics |
129
click to vote
ISMIS
2003
Springer
15 years 9 months ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
136
click to vote
GEOS
2009
Springer
15 years 8 months ago
2009
Springer
With the specifications defined through the Sensor Web Enablement initiative of the Open Geospatial Consortium, flexible integration of sensor data is becoming a reality. Challe...
173
click to vote
ISORC
1998
IEEE
15 years 8 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
137
click to vote
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
140
click to vote
BIOID
2008
15 years 6 months ago
2008
Abstract. This paper proposes a novel method for speaker identification based on both speech utterances and their transcribed text. The transcribed text of each speaker's utte...