Sciweavers

2963 search results - page 371 / 593
» On the Integration of Web Modeling Languages
Sort
View
KBSE
2000
IEEE
15 years 11 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
NAACL
2004
15 years 8 months ago
A Statistical Model for Multilingual Entity Detection and Tracking
Entity detection and tracking is a relatively new addition to the repertoire of natural language tasks. In this paper, we present a statistical language-independent framework for ...
Radu Florian, Hany Hassan, Abraham Ittycheriah, Ho...
ASE
2008
135views more  ASE 2008»
15 years 6 months ago
Deriving event-based transition systems from goal-oriented requirements models
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
ICMCS
2006
IEEE
175views Multimedia» more  ICMCS 2006»
16 years 17 days ago
Bringing the Wiki Collaboration Model to the Tabletop World
We present an interactive workspace that integrates wiki collaboration in knowledge-building activities with face-to-face scenarios like brainstorming or problem solving sessions....
Stefano Baraldi, Alberto Del Bimbo, Alessandro Val...
COLING
1996
15 years 7 months ago
Prepositional Phrase Attachment Through A Hybrid Disambiguation Model
Prepositional phrase attachment is a major cause of stru(:tural alnbiguity in natural language. Recent work has been dependent on corpus-based approaches to deal with this problem...
Haodong Wu, Teiji Furugori