5946 search results - page 1008 / 1190 » Visual requirement representation |
198
click to vote
DILS
2005
Springer
16 years 21 hour ago
2005
Springer
Few ontologies in the ecological domain exist, but their development can take advantage of gained experience in other domains and from existing modeling practices in ecology. Taxon...
172
click to vote
ECSQARU
2005
Springer
16 years 20 hour ago
2005
Springer
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...
210
click to vote
FSTTCS
2005
Springer
16 years 14 hour ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
198
click to vote
HIPC
2005
Springer
16 years 12 hour ago
2005
Springer
Several challenging new applications demand the ability to do data mining on resource constrained devices. One such application is that of monitoring physiological data streams ob...
144
click to vote
ICCNMC
2005
Springer
2005
Springer
Simplified Message Transformation for Optimization of Message Processing in 3G-324M Control Protocol
16 years 9 hour ago
3G-324M is a multimedia transmission protocol designed for 3G communication environment. Meanwhile H.245 standard is a control protocol in 3G-324M and gives specific descriptions a...