Sciweavers

247 search results - page 9 / 50
» Development graphs - Proof management for structured specifi...
Sort
View
CIKM
2008
Springer
15 years 1 months ago
Learning latent semantic relations from clickthrough data for query suggestion
For a given query raised by a specific user, the Query Suggestion technique aims to recommend relevant queries which potentially suit the information needs of that user. Due to th...
Hao Ma, Haixuan Yang, Irwin King, Michael R. Lyu
86
Voted
ICMCS
2006
IEEE
119views Multimedia» more  ICMCS 2006»
15 years 5 months ago
Towards an Efficient Integration, Structure and Exploration of Landscape Architecture Project Information
Landscape Architecture projects have many specific requirements such as particular multimedia and geographic data integration and structure, information preview, userfriendly inte...
Franck Favetta, Robert Laurini
FASE
2008
Springer
15 years 1 months ago
A Formal Framework for Developing Adaptable Service-Based Applications
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mau...
ATAL
2008
Springer
15 years 1 months ago
Discovering tactical behavior patterns supported by topological structures in soccer agent domains
Behaviors in soccer-agent domains can involve individual plays, several players involved in tactical plays or the whole team trying to follow strategies supported by specific form...
Fernando Ramos, Huberto Ayanegui
76
Voted
IASTEDSE
2004
15 years 1 months ago
A conceptual model for requirements engineering and management for change-intensive software
In the development of software with evolving requirements, activities of requirements-engineering and management are present through the whole software development process and aff...
Jewgenij Botaschanjan, Andreas Fleischmann, Markus...