1364 search results - page 57 / 273 » Comparative Branching-Time Semantics |
104
click to vote
CCGRID
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, starting from the limitations and constrains of traditional human learning approaches, we outline new suitable approaches to education and training in future knowle...
SIGIR
2005
ACM
15 years 5 months ago
2005
ACM
A large number of question and answer pairs can be collected from question and answer boards and FAQ pages on the Web. This paper proposes an automatic method of finding the ques...
121
click to vote
DEXA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Data intensive information is often published on the internet in the format of HTML tables. Extracting some of the information that is of users’ interest from the inter...
108
click to vote
ERCIMDL
2005
Springer
15 years 5 months ago
2005
Springer
Vertical search engines and web portals are gaining ground over the general-purpose engines due to their limited size and their high precision for the domain they cover. The number...
QSIC
2003
IEEE
15 years 5 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...