4140 search results - page 593 / 828 » A Use Case Based Approach to Feature Models' Construction |
193
click to vote
TPHOL
2008
IEEE
16 years 25 days ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
167
click to vote
CISST
2003
15 years 7 months ago
2003
The unique human expertise in imagery analysis should be preserved and shared with other imagery analysts to improve image analysis and decision-making. Such knowledge can serve a...
152
click to vote
SEMWEB
2007
Springer
16 years 17 days ago
2007
Springer
Partial knowledge about geospatial categories is critical for knowledge modelling in the geospatial domain but is beyond the scope of conventional ontologies. Degree of overlaps be...
174
click to vote
LCN
2000
IEEE
15 years 11 months ago
2000
IEEE
In absence of any link layer traffic controls or priorityqueuing mechanism in LAN infrastructure (such as shared media LAN), Subnet Bandwidth Management based approach of managing...
172
click to vote
PR
2008
15 years 6 months ago
2008
We present a method for spotting sporadically occurring gestures in a continuous data stream from body-worn inertial sensors. Our method is based on a natural partitioning of cont...