977 search results - page 183 / 196 » DRIFT: A Framework for Ontology-based Design Support Systems |
EDBT
2009
ACM
14 years 2 months ago
2009
ACM
Business Intelligence (BI) refers to technologies, tools, and practices for collecting, integrating, analyzing, and presenting large volumes of information to enable better decisi...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Hydra is a flexible wireless network testbed being developed at UT Austin. Our focus is networks that support multiple wireless hops and where the network, especially the MAC,...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
SIGMOD
2012
ACM
11 years 10 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
HRI
2010
ACM
14 years 2 months ago
2010
ACM
Abstract—We describe a multimodal framework for interacting with an autonomous robotic forklift. A key element enabling effective interaction is a wireless, handheld tablet with ...