2093 search results - page 394 / 419 » Business Process Modelling and Purpose Analysis for Requirem... |
ICCAD
1999
IEEE
14 years 6 days ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
ISCC
2007
IEEE
14 years 2 months ago
2007
IEEE
Multimedia Broadcast Multicast Services (MBMS), introduced in Third Generation Partnership Project (3GPP) Release 6, is a point-to-multipoint downlink bearer service that addresse...
MM
2010
ACM
13 years 8 months ago
2010
ACM
Automatic and real-time identification of unusual incidents is important for event detection and alarm systems. In today's camera surveillance solutions video streams are dis...
IGARSS
2010
13 years 5 months ago
2010
The Georgia Tech Research Institute teamed with a local undergraduate women's institution, Agnes Scott College, to develop an eyesafe lidar for atmospheric remote sensing as ...
BMCBI
2007
13 years 8 months ago
2007
Background: High-throughput peptide and protein identification technologies have benefited tremendously from strategies based on tandem mass spectrometry (MS/MS) in combination wi...