3244 search results - page 476 / 649 » Extensions to Description Logics |
196
click to vote
DSS
2002
15 years 6 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
196
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
196
click to vote
TMC
2012
13 years 9 months ago
2012
—The pervasive adoption of IEEE 802.11 radios in the past decade has made possible for the easy Internet access from a vehicle, notably drive-thru Internet. Originally designed f...
203
click to vote
TMC
2012
13 years 9 months ago
2012
—This paper proposes Trajectory-based Statistical Forwarding (TSF) scheme, tailored for the multihop data delivery from infrastructure nodes (e.g., Internet access points) to mov...
263
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
Database views are extensively used to represent unmaterialized tables. Applications rarely distinguish between a materialized base table and a virtual view, thus, they may issue ...