5550 search results - page 128 / 1110 » Different Approaches to Proof Systems |
139
click to vote
WEBI
2007
Springer
16 years 15 days ago
2007
Springer
This paper describes a character-based system called “Emotion Sensitive News Agent” (ESNA). ESNA is been developed as a news aggregator to fetch news from different news sourc...
155
click to vote
DEXAW
2009
IEEE
16 years 1 months ago
2009
IEEE
— The use of design patterns usually changes the approach of software design and makes software development relatively easy. This paper extends work on a forensic model for Logic...
167
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...
142
click to vote
ACCV
2006
Springer
16 years 12 days ago
2006
Springer
We developed a system including two modules: the texture analysis module and the texture synthesis module. The analysis module is capable of analyzing an input image and performing...
172
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...