1755 search results - page 81 / 351 » Knowledge Representation in Process Engineering |
215
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The problem addressed is source localization via time-differenceof-arrival estimation in a multipath channel. Solving this localization problem typically implies cross-correlating...
174
click to vote
EPIA
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
160
click to vote
B
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
193
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
153
click to vote
JCDL
2003
ACM
15 years 11 months ago
2003
ACM
The National Science Digital Library (NSDL), launched in December 2002, is emerging as a center of innovation in digital libraries as applied to education. As a part of this exten...