Sciweavers

2066 search results - page 179 / 414
» Word Maturity: Computational Modeling of Word Knowledge
Sort
View
63
Voted
INTETAIN
2005
Springer
15 years 3 months ago
Webcrow: A Web-Based Crosswords Solver
Webcrow is a software system whose aim is to solve crosswords. Problems of like solving crosswords have been informally defined as AI-Complete and are extremely challenging for ma...
Giovanni Angelini, Marco Ernandes, Marco Gori
79
Voted
ACISICIS
2009
IEEE
15 years 1 months ago
Temporal Pattern Recognition in Video Clips Detection
Temporal representation and reasoning plays an important role in Data Mining and Knowledge Discovery, particularly, in mining and recognizing patterns with rich temporal informati...
Aihua Zheng, Jixin Ma, Bin Luo, Miltos Petridis, S...
CADUI
2004
14 years 11 months ago
Generic Interaction Techniques for Mobile Collaborative Mixed Systems
: The main characteristic of a mobile collaborative mixed system is that augmentation of the physical environment of one user occurs through available knowledge of where the user i...
Laurence Nigay, Philippe Renevier, Jullien Bouchet...
AUTOMATICA
2007
107views more  AUTOMATICA 2007»
14 years 10 months ago
Quadratic stabilization of linear networked control systems via simultaneous protocol and controller design
We develop necessary and sufficient conditions for quadratic stabilizability of linear networked control systems by dynamic output feedback and communication protocols. These cond...
Dragan B. Dacic, Dragan Nesic
65
Voted
INFORMATICALT
2010
103views more  INFORMATICALT 2010»
14 years 8 months ago
Formal Correctness Proof for DPLL Procedure
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veri...
Filip Maric, Predrag Janicic