3799 search results - page 262 / 760 » An Engineering Approach to Formal Methods |
173
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. We describe a new theoretical approach to Image Processing and Vision. Expressed in mathemetical terminology, in our formalism image space is a fibre bundle, and the imag...
169
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The poster describes a fast, simple, yet accurate method to associate large amounts of web resources stored in a search engine database with geographic locations. The method uses ...
150
click to vote
SEKE
2007
Springer
16 years 23 days ago
2007
Springer
— We present a statistical approach for software agents to learn ontology concepts from peer agents by asking them whether they can reach consensus on significant differences bet...
153
Voted
CLEIEJ
2010
15 years 4 months ago
2010
Component-based software development needs to formalize a process of generation, evaluation and selection of Composite COTS-based Software Systems (CCSS), enabling software archit...
168
click to vote
JCIT
2008
15 years 6 months ago
2008
Active database systems (ADBS) can, automatically, react to the occurrence of predefined events by definition a collection of active rules. One of the most important modules of AD...