Sciweavers

4418 search results - page 414 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
164
Voted
ACL
2012
13 years 9 months ago
Fast and Robust Part-of-Speech Tagging Using Dynamic Model Selection
This paper presents a novel way of improving POS tagging on heterogeneous data. First, two separate models are trained (generalized and domain-specific) from the same data set by...
Jinho D. Choi, Martha Palmer
184
Voted
PDP
2003
IEEE
16 years 4 days ago
Architectural concerns in distributed and mobile collaborative systems
Organizations increasingly coordinate their product and service development processes to deliver their products and services as fast as possible, and to involve employees, custome...
Schahram Dustdar, Harald Gall
RTCSA
2005
IEEE
16 years 13 days ago
Task Partitioning upon Memory-Constrained Multiprocessors
Most prior theoretical research on partitioning algorithms for real-time multiprocessor platforms has focused on ensuring that the cumulative computing requirements of the tasks a...
Nathan Fisher, James H. Anderson, Sanjoy K. Baruah
TLCA
2005
Springer
16 years 10 days ago
Subtyping Recursive Types Modulo Associative Commutative Products
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
Roberto Di Cosmo, François Pottier, Didier ...
SAC
2003
ACM
16 years 3 days ago
Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
Mirko Viroli