Sciweavers

1973 search results - page 129 / 395
» Issues in the Integration of IN and TMN
Sort
View
AAIM
2009
Springer
101views Algorithms» more  AAIM 2009»
14 years 2 months ago
Integer Polyhedra for Program Analysis
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
Philip J. Charles, Jacob M. Howe, Andy King
HICSS
2008
IEEE
133views Biometrics» more  HICSS 2008»
14 years 2 months ago
Towards a Belief-Theoretic Model for Collaborative Conceptual Model Development
Merging and integrating different conceptual models which have been developed by domain experts and analysts with dissimilar perspectives on the same issue has been the subject of...
Ebrahim Bagheri, Ali A. Ghorbani
AI
2008
Springer
14 years 2 months ago
Aspects of Inconsistency Resolution in Modular Ontologies
Modularization entails more efficient reasoning and better performance in the ontology manipulation process. Therefore, the development of modular ontologies has recently received ...
Faezeh Ensan, Weichang Du
COMSWARE
2007
IEEE
14 years 2 months ago
BARAKA: A Hybrid Simulator of SANETs
— We present BARAKA, a new simulator for SANETs. The evaluation of algorithms developed for communication and co-operation in this context is usually accomplished separately. On ...
Thomas Halva Labella, Isabel Dietrich, Falko Dress...
ICDAR
2007
IEEE
14 years 2 months ago
iGesture: A General Gesture Recognition Framework
With the emergence of digital pen and paper interfaces, there is a need for gesture recognition tools for digital pen input. While there exists a variety of gesture recognition fr...
Beat Signer, U. Kurmann, Moira C. Norrie