Search Sciweavers | Sciweavers

1366 search results - page 10 / 274

» Modularizing Contexted Constraints

click to vote

AAAI
2008

107views Intelligent Agents» more AAAI 2008»

Efficient Context-Free Grammar Constraints

13 years 12 months ago

Download www.cs.brown.edu

Serdar Kadioglu, Meinolf Sellmann

claim paper

Read More »

click to vote

ANOR
2011

122views more ANOR 2011»

New filtering for the cumulative constraint in the context of non-overlapping rectangles

13 years 4 months ago

Download www.emn.fr

Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey...

claim paper

Read More »

click to vote

ACL
2011

183views Computational Linguistics» more ACL 2011»

Reordering Constraint Based on Document-Level Context

13 years 1 months ago

Download www.aclweb.org

Takashi Onishi, Masao Utiyama, Eiichiro Sumita

claim paper

Read More »

click to vote

PLPV
2010
ACM

140views Programming Languages» more PLPV 2010»

Modular reasoning about invariants over shared state with interposed data members

14 years 6 months ago

Download people.inf.ethz.ch

Reasoning about object-oriented programs is difﬁcult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...

Stephanie Balzer, Thomas R. Gross

claim paper

Read More »

click to vote

DKE
2007

131views more DKE 2007»

Reasoning and change management in modular ontologies

13 years 9 months ago

Download ki.informatik.uni-mannheim.de

ct 9 The beneﬁts of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...

Heiner Stuckenschmidt, Michel C. A. Klein

claim paper

Read More »

« Prev « First page 10 / 274 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers