Sciweavers

3726 search results - page 297 / 746
» A structured definition of the modeling process
Sort
View
SIGMOD
2008
ACM
164views Database» more  SIGMOD 2008»
16 years 7 months ago
Finding frequent items in probabilistic data
Computing statistical information on probabilistic data has attracted a lot of attention recently, as the data generated from a wide range of data sources are inherently fuzzy or ...
Qin Zhang, Feifei Li, Ke Yi
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 11 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
TREC
2000
15 years 8 months ago
Syntactic Clues and Lexical Resources in Question-Answering
CL Research's question-answering system (DIMAP-QA) for TREC-9 significantly extends its semantic relation triple (logical form) technology in which documents are fully parsed...
Kenneth C. Litkowski
FDL
2004
IEEE
15 years 11 months ago
Real-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
P. Hastono, Stephan Klaus, Sorin A. Huss

Publication
258views
15 years 4 months ago
iModel: Interactive Co-segmentation for Object of Interest 3D Modeling
We present an interactive system to create 3D models of objects of interest in their natural cluttered environments. A typical setting for 3D modeling of an object of interest invo...
Adarsh Kowdle, Wen-Chao Chen, Dhruv Batra, Tsuhan ...