2106 search results - page 167 / 422 » Specifying C concepts |
141
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
— This paper presents a general approach to specify and execute complex robot tasks considering uncertain environments. Robot tasks are defined by a precise definition of socal...
129
click to vote
ITICSE
2003
ACM
15 years 10 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
167
Voted
AAAI
1996
15 years 6 months ago
1996
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...
139
click to vote
JMM2
2006
15 years 4 months ago
2006
Recently, Multimedia Broadcast Multicast Service (MBMS) has been specified by 3GPP as a Release 6 feature in order to meet the increasing demands of multimedia download and streami...
168
click to vote
ICSOC
2010
Springer
15 years 3 months ago
2010
Springer
Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible and effective manner. The basic idea of SOC i...